21. COMPSAC 1997: Washington, DC, USA

Software Architecture

• Mary Shaw, Paul C. Clements:
  A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems. 6-13
  
• Rick Kazman, Paul C. Clements, Leonard J. Bass, Gregory D. Abowd:
  Classifying Architectural Elements as a Foundation for Mechanism Matching. 14-17
  
• Harald Gall, Mehdi Jazayeri, René Klösch, Georg Trausmuth:
  The Architectural Style of Component Programming. 18-25
  

Database Algorithms and Applications

• Yun Jiang, Akifumi Makinouchi:
  A parallel hash-based join algorithm for a networked cluster of multiprocessor nodes. 678-683
  
• Jian-Cheng Dai, Gwo-Dong Chen, Chen-Chung Liu, Baw-Jhiune Liu:
  A temporal behavioral object model for object-oriented databases. 28-31
  
• Raymond A. Paul, Tosiyasu L. Kunii, Yoshihisa Shinagawa, Arif Ghafoor:
  Object-Oriented Evolutionary Database Design for Software Metrics Data. 32-37
  
• Loon-Been Chen, I-Chen Wu:
  On the Complexity of the Minimum and Maximum Global Snapshot Problems. 38-41
  

Panel - Software technologies to support distributed collaboration

• Prasun Dewan:
  Research directions in collaborative applications. 44-45
  
• Richard P. Sinn:
  Distributed Object Technologies for Collaborative Computing. 46-47
  

Software Architecture

• Chunbo Zhou, Atsumi Imamiya:
  Object-based nonlinear undo model. 50-55
  
• Norman R. Howes:
  Architecture and reengineering. 56-59
  
• Xudong He, Weili Yao:
  Translating hierarchical predicate transition nets to CC++ program skeletons. 60-65
  
• Sohail Sheikh, Raj Ganesan:
  Replication of multimedia data using master-slave architecture. 66-70
  

Performance Evaluation

• Joo-Yong Kim, Sang Hyuk Son, Kern Koh:
  The Ceiling Adjustment Scheme for Improving the Concurrency of Real-Time Systems with Mixed Workloads. 72-75
  
• O. A. Abulnaja, Seyed H. Hosseini, K. Vairavan:
  On the Effect of Recovery Block Scheme on System Performance. 76-81
  
• Yeh-Ching Chung, Ching-Hsien Hsu:
  Efficient Method for kr->r and r->kr Arrary Redistribution. 82-87
  
• Ehab S. Al-Shaer:
  Event Filtering Framework: Key Criteria and Design Trade-offs. 88-93
  

Panel - Internet Interactive Learning

• Ifay F. Chang:
  Internet interactive authoring, teach and learning-a breakthrough for education. 97-98
  

Object-Oriented Techniques

• Sung-Woo Chang, Hyoung-Joo Kim:
  SOPView+: an object browser which supports navigating database by changing base object. 100-103
  
• Amir A. Khwaja:
  Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. 104-108
  
• Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae:
  Task.o object modeling approach for robot workcell programming. 109-114
  
• Deron Liang, Win-Tsung Lo, Yu-Ming Kao, Shyan-Ming Yuan, Yue-Shan Chang:
  A fault tolerant object transaction service in CORBA. 115-120
  
• K. H. Kim, Chittur Subbaraman:
  Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems. 121-128
  

Performance Modeling

• Tien-Chen Ho, Shang-Juh Kao:
  A New Performance Analysis Model of the Local Switching System. 130-136
  
• Ing-Ray Chen, Tsong-Min Chen, Chiang Lee:
  Performance characterization of forwarding strategies in personal communication networks. 137-142
  
• Chye-Lin Chee, Hongjun Lu, Hong Tang, C. V. Ramamoorthy:
  Improving I/O response times via prefetching and storage system reorganization. 143-148
  
• Devendra Kumar, Amit Kohli, Venkatasubramaniam Narayanswamy:
  Faster Simulation of Timed Petri Nets Via Distributed Simulation. 149-152
  
• I-Ling Yen, K. Karun:
  Implementation and performance assessment of multilevel data structures. 153-157
  

Panel - Software Architecture Evaluation

• Chung-Horng Lung:
  Empirical experiences in analyzing software architecture sensitivity. 164-165
  
• Connie U. Smith:
  Performance engineering for software architectures. 166-167
  

Panel - Future Trends and Demands for Software Technology

• Mehdi Jazayeri:
  Issues in software component technology: position statement. 171-172
  
• Wei-Tek Tsai:
  Trends in software technology. 173-174
  

Software Architecture and Modeling

• Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore:
  Model-integrated system development: models, architecture, and process. 176-181
  
• Hirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanaya, Takao Ookubo, Sanya Uehara:
  Model-Based Architecture for the Intranet. 182-187
  
• Daniel E. Cooke:
  Abstraction, concurrency, and communal computing in SequenceL. 188-191
  
• Keith Vanderveen, C. V. Ramamoorthy:
  Partial instantiation theorem proving for distributed resource location. 192-197
  

Database Applications

• Guoren Wang, Ge Yu, Bin Zhang, Huaiyuan Zheng:
  A Schema Intergration Architecture for Multidatabase Systems. 200-203
  
• Yao-Nan Lien, Chih-Lin Hu:
  Composition can be Faster than Join. 204-209
  
• Hsien-Chou Liao, Ming-Feng Chen, Feng-Jian Wang, Jian-Cheng Dai:
  Using a Hierarchical Thesaurus for Classifying and Searching Software Libraries. 210-216
  
• Victoria Hilford, Farokh B. Bastani, Bojan Cukic:
  EH* - Extendible Hashing in a Distributed Environment. 217-222
  

Current and Future Software Directions in Funding Software Research

• Wen Gao:
  Compunication: From Concept to Practice. 224-225
  

Object-Oriented Techniques

• Yoichi Omori, Kazuki Joe, Akira Fukuda:
  A Parallelizing Compiler by Object Oriented Design. 228-231
  
• Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim:
  A Parallelizing Compiler by Object Oriented Design. 232-239
  
• Xiaoping Jia:
  A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development. 240-245
  
• Akira K. Onoma, Mutsumi Komuro, Hiroshi Suganuma, Akefumi Kumeta, Tsutomu Syomura:
  Management of Object Oriented Development based on Ranked Use Cases. 246-251
  
• Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim:
  Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. 252-
  

Software Development and Design

• Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon:
  On the concurrent behaviour of SCR specifications. 258-263
  
• Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang:
  A formal approach to software components classification and retrieval. 264-269
  
• Colin J. Hardy, Helen M. Edwards, J. Barrie Thompson:
  Trends and developments in CASE and structured methods: a European perspective. 270-273
  
• Kiyoh Nakamura, Yoshinobu Fujii, Yukio Kiyokane, Masami Nakamura, Katsuhiko Hinenoya, Yeo Hua Peck, Siow Choon-Lian:
  Distributed and Concurrent Development Environment via Sharing Design Information. 274-279
  

Panel - Year 2K Problem

• Year 2000 Problem: A "Paper Tiger" or A "Real Tiger"? 282
  
• Robert A. Martin:
  Year 2000 Compliance: A Discussion on Compliance Certification. 283-284
  
• Takashi Sano:
  Re-engineering solutions for Y2K challenge. 285-286
  
• Wei-Tek Tsai:
  Application of data-centered approach to Year 2000 problem. 287-288
  

Multimedia Technology

• Min-You Wu, Wei Shu, Karthikeyan Samuthiram:
  Optimal Scheduling for Normal and Interactive Operations in Parallel Video Servers. 290-295
  
• Shunge Li, Bharat K. Bhargava:
  Active Gateway: A Facility for Video Conferencing Traffic Control. 296-301
  
• Zhaohui Kevin Li, Young Francis Day, Husni Fahmi, Arif Ghafoor:
  A Multimedia Information System for Document Authoring, Indexing and Presentation. 302-311
  
• Jean-François Huard, Aurel A. Lazar:
  On QOS Mapping in Multimedia Networks. 312-317
  

Software Development Techniques

• Mika Ohtsuki, Jun'ichi Segawa, Norihiko Yoshida, Akifumi Makinouchi:
  Structured Document Framework for Design Patterns Based on SGML. 320-323
  
• Takeiki Aizono, Katsumi Kawano, Hiroshi Wataya, Kinji Mori:
  Autonomous Decentralized Software Structure for Integration of Information and Control Systems. 324-331
  
• Jonathan P. Bowen, Michael G. Hinchey:
  The use of industrial-strength formal methods. 332-337
  
• Carl K. Chang, Yi-Te Tseng, Ugo Buy:
  Compiling process algebraic specifications into timed automata. 338-343
  
• Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack:
  Patterns in the analysis, design and implementation of frameworks. 344-348
  

Distributed and Concurrent Database Management Systems

• Soo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik:
  Farming Methodology for TMN Platform Independent Class Repository Design. 352-351
  
• Jae-young Chang, Sang-goo Lee:
  An optimization of disjunctive queries: union-pushdown. 356-361
  
• Sang Hyuk Son, Robert C. Beckinger, David A. Baker:
  DRDB: a distributed real-time database server for high-assurance time-critical applications. 362-367
  
• Vincent T. Y. Ng, Tiko Kameda:
  Concurrent access to point data. 368-373
  

Multimedia Applications

• Sridevi Palacharla, Ahmed Karmouch, Samy A. Mahmoud:
  Design and Implementation of a Real-time Multimedia Presentation System using RTP. 376-381
  
• Sheng-Yih Wang, Bharat K. Bhargava:
  Multi-pass Transmission Policy: An Effective Method of Transmitting Large Multimedia Objects in the Wide-Area Network. 382-387
  
• Ramzi R. Yehia, Imadeldin O. Mahgoub:
  Storage System and the Multimedia Challenges. 388-393
  

Software Reuse and Re-Engineering

• Chia-Chu Chiang, Joseph E. Urban:
  Scalable Templates for Specification Reuse. 396-401
  
• Jim-Min Lin:
  Cross-Platform Software Reuse by Functional Integration Approach. 402-408
  
• Xiaodong Liu, Hongji Yang, Hussein Zedan:
  Formal Methods for the Re-Engineering of Computing Systems: A Comparison. 409-414
  

Mini-Tutorial

• Kathy Bohrer, Verlyn M. Johnson, Anders Nilsson, Bradley Rubin:
  he San Francisco project: an object-oriented framework approach to building business applications. 416-424
  

Software Reuse and Re-Engineering

• Kasilingam Periyasamy, J. Chidambaram:
  A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation. 426-433
  
• Thomas S. Anantharaman, Bud Mishra:
  Statistical Algorithms and Software for Genomics. 434-437
  
• Stephen J. H. Yang, William C. Chu, Jonathan Lee, Wei T. Huang:
  A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning. 438-443
  
• Chungti Liang, Brad Phelps, Jack Tan:
  Techniques for addressing the Year 2000 transition. 444-447
  

Software Processes and Modeling

• Satoshi Kumagai, Shuzo Kishima, Kiyoshi Itoh:
  Domain Analysis and Modeling for Concurrent Engineering in Plant Monitoring and Operations. 450-453
  
• Mikio Aoyama:
  Agile Software Process model. 454-459
  
• C. Sashidhar, Sol M. Shatz:
  Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. 460-466
  
• Kann-Jang Yang, Rob Pooley:
  Process Modelling to Support the Unified Modelling Language. 467-472
  

Network Applications

• Herman Chung-Hwa Rao, Ming-Feng Chen, Feng-Jian Wang:
  An Overview of the Internet File System. 474-477
  
• Yuh-Rong Leu, Chun-Lai Cheng:
  Implementation Considerations for Mobile IP. 478-481
  
• Ping-Jer Yeh, Shyan-Ming Yuan, Winston Lo:
  Two-level Web agent for limited accessibility. 482-485
  
• Robert N. Smith, Balan Mahesh, Sharada Bindiganavale:
  An adaptive mobile wireless handover. 486-492
  

Software Reusability

• Satish Subramanian:
  Software Asset Management and Domain Engineering. 494-495
  
• Masao J. Matsumoto:
  Software Reuse: On Critical Issues of Hinagata-based Software Development. 496-497
  

Software Testing and Reliability

• William E. Howden:
  Systems testing and statistical test data coverage. 500-504
  
• Jeffrey M. Voas:
  Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis. 505-510
  
• Nashat Mansour, Khaled El-Fakih:
  Natural Optimization Algorithms for Optimal Regression Testing. 511-514
  
• Richard A. DeMillo, Hsin Pan, Eugene H. Spafford:
  Failure and Fault Analysis for Software Debugging. 515-521
  
• W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini:
  Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application. 522-528
  

Software Development Techniques

• Christian Stary, Nikolas Vidakis, Stefan Mohacsi, Markus Nagelholz:
  Workflow-oriented prototyping for the development of interactive software. 530-535
  
• George Jyh-Shian Chang, Girish Patel, Liam Relihan, Jason Tsong-Li Wang:
  A graphical environment for change detection in structured documents. 536-541
  
• Siew Hock Ow, Mashkuri Yaacob:
  A Study on the Requirements Review Process in Software Development: Problems and Solutions. 542-547
  
• Raimund K. Ege:
  KAPSEL - Programming within Boundaries. 548-551
  
• Jürgen K. Müller:
  Feature-oriented software structuring. 552-555
  

Communication Networks and Applications

• Chao-Ju Hou, Ching-Chih Han, Yao-Min Chen:
  Communication Middleware and Software for QoS Control in Distributed Real-Time EnvironmentsSpecifically, we consider the following innovative research components. 558-564
  
• Sun-Jen Huang, Richard Lai:
  Estimating the size of an Estelle specification for a communication protocol. 565-568
  
• David Wai-Lok Cheung, Chi-Hung Lee, Vincent T. Y. Ng:
  A content-based search engine on medical images for telemedicine. 569-572
  
• Vaduvur Bharghavan, Vijay Gupta:
  A framework for application adaptation in mobile computing environments. 573-579
  
• William Perrizo, Zhili Zhang, Stephen Krebsbach:
  Strategies for implementing distributed query algorithms over high-speed, bandwidth-on-demand, wide area networks. 580-583
  

Promise vs. Implementation

• Janet M. Drake:
  Social Issues in the Collection and Use of Software Metric Data Position Paper: Metrics: Promise vs. Implementation. 586-587
  
• Fred M. Hall:
  Army software metrics training. 588
  
• Don Scott Lucero:
  Software measurement in the U.S. Army. 589-590
  
• Charles B. Tichenor:
  The Internal Revenue Service function point analysis program: a brief. 591-592
  

Software Testing

• Jerry Gao, Cris Chen, Yasufumi Toyoshima, David K. Leung:
  Developing an Integrated Testing Environment Using the World Wide Web Technology. 594-601
  
• Kuo-Chung Tai, Fonda J. Daniels:
  Test Order for Inter-Class Integration Testing of Object-Oriented Software. 602-607
  
• Tsong Yueh Chen, Man Fai Lau:
  Two test data selection strategies towards testing of Boolean specifications. 608-611
  
• Viral Shah, Sourav Bhattacharya:
  Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems. 612-615
  
• Brian Ness, Viet Ngo:
  Regression Containment through Source Change Isolation. 616-621
  

Software Specifications and Maintenance

• Atsushi Ohnishi, Norihiro Tokuda:
  Visual software requirements definition environment. 624-629
  
• Anneliese von Mayrhauser, A. Marie Vans:
  Program understanding needs during corrective maintenance of large scale software. 630-637
  
• Trevor Williams, Jack Tan, Chungti Liang:
  Efficient implementation strategies for the DRB approach in fault-tolerant hypercubes. 638-641
  
• Lijun Dong, Jiafu Xu:
  Formal semantics of some functional constructs of the software requirements definition language NDRDL. 642-645
  
• Malcolm Shroff, Robert B. France:
  Towards a formalization of UML class structures in Z. 646-651
  

Internet and Applications

• Suan-Suan Chew, Kok-Leong Ng, Chye-Lin Chee:
  IAuth: An authentication system for Internet applications. 654-659
  
• Zhaoxia Huang, Shengxi Zhou, Shengru Tu:
  Java Communication Interfaces for Control Systems. 660-663
  
• James R. Bindas:
  Defining the software process for intranet distribution. 664-667
  
• Devendra Kumar, S. Sitharama Iyengar:
  A Semiformal Correctness Proof of a Network Broadcast Algorithm. 668-671
  

Behind Every Successful Project is a Winning Support Environment

• Tsuneo Yamaura:
  Can a software project be like Einstein?. 675-676
  

Last update Mon May 20 22:39:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page