COMPSAC B

123 papers

YearTitle / Authors
199721st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA
1997A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems.
Mary Shaw, Paul C. Clements
1997A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning.
Stephen J. H. Yang, William C. Chu, Jonathan Lee, Wei T. Huang
1997A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation.
Kasilingam Periyasamy, J. Chidambaram
1997A Multimedia Information System for Document Authoring, Indexing and Presentation.
Zhaohui Kevin Li, Young Francis Day, Husni Fahmi, Arif Ghafoor
1997A New Performance Analysis Model of the Local Switching System.
Tien-Chen Ho, Shang-Juh Kao
1997A Parallelizing Compiler by Object Oriented Design.
Yoichi Omori, Kazuki Joe, Akira Fukuda
1997A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development.
Xiaoping Jia
1997A Schema Intergration Architecture for Multidatabase Systems.
Guoren Wang, Ge Yu, Bin Zhang, Huaiyuan Zheng
1997A Semiformal Correctness Proof of a Network Broadcast Algorithm.
Devendra Kumar, S. Sitharama Iyengar
1997A Study on the Requirements Review Process in Software Development: Problems and Solutions.
Siew Hock Ow, Mashkuri Yaacob
1997A content-based search engine on medical images for telemedicine.
David Wai-Lok Cheung, Chi-Hung Lee, Vincent Ng
1997A fault tolerant object transaction service in CORBA.
Deron Liang, Win-Tsung Lo, Yu-Ming Kao, Shyan-Ming Yuan, Yue-Shan Chang
1997A formal approach to software components classification and retrieval.
Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang
1997A framework for application adaptation in mobile computing environments.
Vaduvur Bharghavan, Vijay Gupta
1997A graphical environment for change detection in structured documents.
George Jyh-Shian Chang, Girish Patel, Liam Relihan, Jason Tsong-Li Wang
1997A parallel hash-based join algorithm for a networked cluster of multiprocessor nodes.
Yun Jiang, Akifumi Makinouchi
1997A temporal behavioral object model for object-oriented databases.
Jian-Cheng Dai, Gwo-Dong Chen, Chen-Chung Liu, Baw-Jhiune Liu
1997Abstraction, concurrency, and communal computing in SequenceL.
Daniel E. Cooke
1997Active Gateway: A Facility for Video Conferencing Traffic Control.
Shunge Li, Bharat K. Bhargava
1997Agile Software Process model.
Mikio Aoyama
1997An Overview of the Internet File System.
Herman Chung-Hwa Rao, Ming-Feng Chen, Feng-Jian Wang
1997An adaptive mobile wireless handover.
Robert N. Smith, Balan Mahesh, Sharada Bindiganavale
1997An optimization of disjunctive queries: union-pushdown.
Jae-Young Chang, Sang-goo Lee
1997Application of data-centered approach to Year 2000 problem.
Wei-Tek Tsai
1997Architecture and reengineering.
Norman R. Howes
1997Army software metrics training.
Fred M. Hall
1997Autonomous Decentralized Software Structure for Integration of Information and Control Systems.
Takeiki Aizono, Katsumi Kawano, Hiroshi Wataya, Kinji Mori
1997Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis.
Jeffrey M. Voas
1997Can a software project be like Einstein?.
Tsuneo Yamaura
1997Classifying Architectural Elements as a Foundation for Mechanism Matching.
Rick Kazman, Paul C. Clements, Leonard J. Bass, Gregory D. Abowd
1997Communication Middleware and Software for QoS Control in Distributed Real-Time EnvironmentsSpecifically, we consider the following innovative research components.
Chao-Ju Hou, Ching-Chih Han, Yao-Min Chen
1997Compiling process algebraic specifications into timed automata.
Carl K. Chang, Yi-Te Tseng, Ugo A. Buy
1997Composition can be Faster than Join.
Yao-Nan Lien, Chih-Lin Hu
1997Compunication: From Concept to Practice.
Wen Gao
1997Concurrent access to point data.
Vincent Ng, Tiko Kameda
1997Cross-Platform Software Reuse by Functional Integration Approach.
Jim-Min Lin
1997DRDB: a distributed real-time database server for high-assurance time-critical applications.
Sang Hyuk Son, Robert C. Beckinger, David A. Baker
1997Defining the software process for intranet distribution.
James R. Bindas
1997Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.
Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim
1997Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software.
C. Sashidhar, Sol M. Shatz
1997Design and Implementation of a Real-time Multimedia Presentation System using RTP.
Sridevi Palacharla, Ahmed Karmouch, Samy A. Mahmoud
1997Developing an Integrated Testing Environment Using the World Wide Web Technology.
Jerry Gao, Cris Chen, Yasufumi Toyoshima, David K. Leung
1997Distributed Object Technologies for Collaborative Computing.
Richard P. Sinn
1997Distributed and Concurrent Development Environment via Sharing Design Information.
Kiyoh Nakamura, Yoshinobu Fujii, Yukio Kiyokane, Masami Nakamura, Katsuhiko Hinenoya, Yeo Hua Peck, Siow Choon-Lian
1997Domain Analysis and Modeling for Concurrent Engineering in Plant Monitoring and Operations.
Satoshi Kumagai, Shuzo Kishima, Kiyoshi Itoh
1997EH* - Extendible Hashing in a Distributed Environment.
Victoria Hilford, Farokh B. Bastani, Bojan Cukic
1997Efficient Method for kr->r and r->kr Arrary Redistribution.
Yeh-Ching Chung, Ching-Hsien Hsu
1997Efficient implementation strategies for the DRB approach in fault-tolerant hypercubes.
Trevor Williams, Jack Tan, Chungti Liang
1997Empirical experiences in analyzing software architecture sensitivity.
Chung-Horng Lung
1997Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling.
Amir A. Khwaja
1997Estimating the size of an Estelle specification for a communication protocol.
Sun-Jen Huang, Richard Lai
1997Event Filtering Framework: Key Criteria and Design Trade-offs.
Ehab S. Al-Shaer
1997Failure and Fault Analysis for Software Debugging.
Richard A. DeMillo, Hsin Pan, Eugene H. Spafford
1997Farming Methodology for TMN Platform Independent Class Repository Design.
Soo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik
1997Faster Simulation of Timed Petri Nets Via Distributed Simulation.
Devendra Kumar, Amit Kohli, Venkatasubramaniam Narayanswamy
1997Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems.
Viral Shah, Sourav Bhattacharya
1997Feature-oriented software structuring.
Jürgen K. Müller
1997Formal Methods for the Re-Engineering of Computing Systems: A Comparison.
Xiaodong Liu, Hongji Yang, Hussein Zedan
1997Formal semantics of some functional constructs of the software requirements definition language NDRDL.
Lijun Dong, Jiafu Xu
1997High-order Object Model Based Software Analysis.
Xiaoqing Frank Liu, Hungwen Lin
1997IAuth: An authentication system for Internet applications.
Suan-Suan Chew, Kok-Leong Ng, Chye-Lin Chee
1997Implementation Considerations for Mobile IP.
Yuh-Rong Leu, Chun-Lai Cheng
1997Implementation and performance assessment of multilevel data structures.
I-Ling Yen, K. Karun
1997Improving I/O response times via prefetching and storage system reorganization.
Chye-Lin Chee, Hongjun Lu, Hong Tang, C. V. Ramamoorthy
1997Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems.
K. H. Kim, Chittur Subbaraman
1997Internet interactive authoring, teach and learning-a breakthrough for education.
Ifay F. Chang
1997Issues in software component technology: position statement.
Mehdi Jazayeri
1997Java Communication Interfaces for Control Systems.
Zhaoxia Huang, Shengxi Zhou, Shengru Tu
1997KAPSEL - Programming within Boundaries.
Raimund K. Ege
1997Management of Object Oriented Development based on Ranked Use Cases.
Akira K. Onoma, Mutsumi Komuro, Hiroshi Suganuma, Akefumi Kumeta, Tsutomu Syomura
1997Model-Based Architecture for the Intranet.
Hirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanaya, Takao Ookubo, Sanya Uehara
1997Model-integrated system development: models, architecture, and process.
Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore
1997Multi-pass Transmission Policy: An Effective Method of Transmitting Large Multimedia Objects in the Wide-Area Network.
Sheng-Yih Wang, Bharat K. Bhargava
1997Natural Optimization Algorithms for Optimal Regression Testing.
Nashat Mansour, Khaled El-Fakih
1997Object-Oriented Evolutionary Database Design for Software Metrics Data.
Raymond A. Paul, Tosiyasu L. Kunii, Yoshihisa Shinagawa, Arif Ghafoor
1997Object-based nonlinear undo model.
Chunbo Zhou, Atsumi Imamiya
1997On QOS Mapping in Multimedia Networks.
Jean-François Huard, Aurel A. Lazar
1997On the Complexity of the Minimum and Maximum Global Snapshot Problems.
Loon-Been Chen, I-Chen Wu
1997On the Effect of Recovery Block Scheme on System Performance.
Osama Ahmed Abulnaja, Seyed H. Hosseini, K. Vairavan
1997On the concurrent behaviour of SCR specifications.
Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon
1997Optimal Scheduling for Normal and Interactive Operations in Parallel Video Servers.
Min-You Wu, Wei Shu, Karthikeyan Samuthiram
1997Partial instantiation theorem proving for distributed resource location.
Keith Vanderveen, C. V. Ramamoorthy
1997Patterns in the analysis, design and implementation of frameworks.
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack
1997Performance characterization of forwarding strategies in personal communication networks.
Ing-Ray Chen, Tsong-Min Chen, Chiang Lee
1997Performance engineering for software architectures.
Connie U. Smith
1997Process Modelling to Support the Unified Modelling Language.
Kann-Jang Yang, Rob Pooley
1997Program understanding needs during corrective maintenance of large scale software.
Anneliese von Mayrhauser, A. Marie Vans
1997Re-engineering solutions for Y2K challenge.
Takashi Sano
1997Regression Containment through Source Change Isolation.
Brian Ness, Viet Ngo
1997Replication of multimedia data using master-slave architecture.
Sohail Sheikh, Raj Ganesan
1997Research directions in collaborative applications.
Prasun Dewan
1997SOPView+: an object browser which supports navigating database by changing base object.
Sung-Woo Chang, Hyoung-Joo Kim
1997Scalable Templates for Specification Reuse.
Chia-Chu Chiang, Joseph E. Urban
1997Social Issues in the Collection and Use of Software Metric Data Position Paper: Metrics: Promise vs. Implementation.
Janet M. Drake
1997Software Asset Management and Domain Engineering.
Satish Subramanian
1997Software Reuse: On Critical Issues of Hinagata-based Software Development.
Masao J. Matsumoto
1997Software measurement in the U.S. Army.
Don Scott Lucero
1997Statistical Algorithms and Software for Genomics.
Thomas S. Anantharaman, Bud Mishra
1997Storage System and the Multimedia Challenges.
Ramzi R. Yehia, Imadeldin O. Mahgoub
1997Strategies for implementing distributed query algorithms over high-speed, bandwidth-on-demand, wide area networks.
William Perrizo, Zhili Zhang, Stephen Krebsbach
1997Structured Document Framework for Design Patterns Based on SGML.
Mika Ohtsuki, Jun'ichi Segawa, Norihiko Yoshida, Akifumi Makinouchi
1997Systems testing and statistical test data coverage.
William E. Howden
1997Task.o object modeling approach for robot workcell programming.
Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae
1997Techniques for addressing the Year 2000 transition.
Chungti Liang, Brad Phelps, Jack Tan
1997Test Order for Inter-Class Integration Testing of Object-Oriented Software.
Kuo-Chung Tai, Fonda J. Daniels
1997Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application.
W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini
1997The Architectural Style of Component Programming.
Harald C. Gall, Mehdi Jazayeri, René Klösch, Georg Trausmuth
1997The Ceiling Adjustment Scheme for Improving the Concurrency of Real-Time Systems with Mixed Workloads.
Joo-Yong Kim, Sang Hyuk Son, Kern Koh
1997The Internal Revenue Service function point analysis program: a brief.
Charles B. Tichenor
1997The use of industrial-strength formal methods.
Jonathan P. Bowen, Michael G. Hinchey
1997Towards a formalization of UML class structures in Z.
Malcolm Shroff, Robert B. France
1997Translating hierarchical predicate transition nets to CC++ program skeletons.
Xudong He, Weili Yao
1997Trends and developments in CASE and structured methods: a European perspective.
Colin J. Hardy, Helen M. Edwards, J. Barrie Thompson
1997Trends in software technology.
Wei-Tek Tsai
1997Two test data selection strategies towards testing of Boolean specifications.
Tsong Yueh Chen, Man Fai Lau
1997Two-level Web agent for limited accessibility.
Ping-Jer Yeh, Shyan-Ming Yuan, Winston Lo
1997Using a Hierarchical Thesaurus for Classifying and Searching Software Libraries.
Hsien-Chou Liao, Ming-Feng Chen, Feng-Jian Wang, Jian-Cheng Dai
1997Visual software requirements definition environment.
Atsushi Ohnishi, Norihiro Tokuda
1997Workflow-oriented prototyping for the development of interactive software.
Christian Stary, Nikolas Vidakis, Stefan Mohacsi, Markus Nagelholz
1997Year 2000 Compliance: A Discussion on Compliance Certification.
Robert A. Martin
1997Year 2000 Problem: A "Paper Tiger" or A "Real Tiger"?
1997he San Francisco project: an object-oriented framework approach to building business applications.
Kathy Bohrer, Verlyn M. Johnson, Anders Nilsson, Bradley Rubin