1. Home
  2. Proceedings
  3. COMPSAC
  4. COMPSAC 1995
Default Cover Image

Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95)

Aug. 9 1995 to Aug. 11 1995

Dallas, Texas

ISBN: 0-8186-7119-X

Table of Contents

Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95)Freely available from IEEE.pp. i-i
Improving software process to implement a wireless mobile networkFull-text access may be available. Sign in or learn about subscription options.pp. 91,92
by K.A. Gibson
Parallel software engineering - Goals 2000Full-text access may be available. Sign in or learn about subscription options.pp. 93,94
by C. Murphy
Session 1: Advances in Formal Methods I
Temporal Event Analysis and Program UnderstandingFull-text access may be available. Sign in or learn about subscription options.pp. 4
by W.E. Howden, G.M. Shi
Session 1: Advances in Formal Methods I
FunZ Designs -- A Bridge Between Z Specifications and Haskell ImplementationsFull-text access may be available. Sign in or learn about subscription options.pp. 12
by Linda B. Sherrell, Doris L. Carver
Static semantics and priority schemes for statechartsFull-text access may be available. Sign in or learn about subscription options.pp. 114,115,116,117,118,119,120
by Hyoung Seok Hong, Jeong Hyun Kim, Sung Deok Cha, Yong Rae Kwon
Session 1: Advances in Formal Methods I
Automatic Generation of C++ Code from an ESCRO2 SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 18
by P. C. Grabow, L. Liu
Session 2: Knowledge-Based Systems
A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 26
by Hing-Yan Lee, Hwee-Leng Ong, Eng-Whatt Toh, Sieu-Kong Chan
Session 2: Knowledge-Based Systems
A Knowledge-Based Approach for Worst-Case Timing Analysis of Microprocessor SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 32
by S. M. Yuen, K. P. Lam
Session 2: Knowledge-Based Systems
Knowledge Reuse through the Application of the Object Knowledge Canonical FormFull-text access may be available. Sign in or learn about subscription options.pp. 40
by Kunhuang Huarng, Dick B. Simmons
Session 3: Panel: Software Industry Growth: Funding Based on Software Valuation
Software Industry Growth: Funding Based on Softwre ValuationFull-text access may be available. Sign in or learn about subscription options.pp. 48
Session 4: Advances in Formal Methods II
A Method for Analyzing Properties of Hierarchical Predicate Transition NetsFull-text access may be available. Sign in or learn about subscription options.pp. 50
by Xudong He
Session 4: Advances in Formal Methods II
Mechanical Synthesis of a Unification Algorithm in PowerEpsilonFull-text access may be available. Sign in or learn about subscription options.pp. 56
by Ming-Yuan Zhu, Xiao-Bai Mo
Session 4: Advances in Formal Methods II
Expressing JSD in ZFull-text access may be available. Sign in or learn about subscription options.pp. 62
by Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan
Session 5: Modeling Techniques
Design and Implementation of Multiple Type Objects in a Persistent Programming LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 70
by Masayoshi Aritsugi, Akifumi Makinouchi
Session 5: Modeling Techniques
An Expanded View of Domain Modeling for Software AnalogyFull-text access may be available. Sign in or learn about subscription options.pp. 77
by Chung-Horng Lung, Joseph E. Urban
Session 5: Modeling Techniques
Dynamic Hierarchy for Multiagent Air CombatFull-text access may be available. Sign in or learn about subscription options.pp. 83
by Boris Stilman
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
Software Technology in the 21st Centurey: A Technology ForecastFull-text access may be available. Sign in or learn about subscription options.pp. 90
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
(Position Paper) Improving Software Process to Implement a Wireless Mobile NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 91
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
(Position Paper) Parallel Software Engineering - Goals 2000Full-text access may be available. Sign in or learn about subscription options.pp. 93
Session 7: Software Support Leverage for Formal Methods
Requirement Specification in Pseudo-Natural Language in PROMISFull-text access may be available. Sign in or learn about subscription options.pp. 96
by Ruqian Lu, Zhi Jin, Ronglin Wan
Session 7: Software Support Leverage for Formal Methods
Checking Program Proofs Made EasyFull-text access may be available. Sign in or learn about subscription options.pp. 102
by Martina Schollmeyer, Bruce McMillin
Session 7: Software Support Leverage for Formal Methods
An Approach to Animating Z SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 108
by Xiaoping Jia
Session 8: Database Applications
A Study on Developing a Distributed Problem-Solving SystemFull-text access may be available. Sign in or learn about subscription options.pp. 122
by Eun Gyung Kim
Session 8: Database Applications
Using Constraints for Distributed Query ProcessingFull-text access may be available. Sign in or learn about subscription options.pp. 128
by Jongpil Yoon
Session 8: Database Applications
Management of Flexible Transactions Using Semantics in Multidatabase SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 134
by Soon M. Chung, Pyeong S. Mah, Junguk L. Kim
Session 9: Performance Evaluation and Optimization
Performance Evaluation of Dynamic Signature File MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Jae Soo Yoo, Myoung Ho Kim, Yoon-Joon Lee, Byoung Mo Im
Session 9: Performance Evaluation and Optimization
Applying Dynamic Buffer Allocation to Predictive Load ControlFull-text access may be available. Sign in or learn about subscription options.pp. 150
by Sangdon Lee, Sukho Lee
Session 9: Performance Evaluation and Optimization
Lagrangian Techniques for Solving a Class of Zero-One Integer Linear ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 156
by Yao-Jen Chang, Benjamin W. Wah
Session 9: Performance Evaluation and Optimization
A Simple Tree Pattern Matching Algorithm for Code GeneratorFull-text access may be available. Sign in or learn about subscription options.pp. 162
by Tzer-Shyong Chen, Feipei Lai, Rung-Ji Shang
Thursday Plenary Session: Keynote Address II
Department of Defense Information Technology InitiativesFull-text access may be available. Sign in or learn about subscription options.pp. 170
by Margaret Myers
Session 10: Software Development Tools
The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer GraphicsFull-text access may be available. Sign in or learn about subscription options.pp. 172
by David J. Russomanno
Session 10: Software Development Tools
User Interface Design: The WHO, the WHAT, and the HOW RevisitedFull-text access may be available. Sign in or learn about subscription options.pp. 178
by Chris Stary
Session 10: Software Development Tools
LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program BehaviorFull-text access may be available. Sign in or learn about subscription options.pp. 184
by David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur
Session 11: Object-Oriented Approach for Distributed Systems
Object-Oriented Design for a Distributed Priority QueueFull-text access may be available. Sign in or learn about subscription options.pp. 192
by Pen-Nan Lee, Lawrence Miller, Ping-Chuan Tai, Yiwei Chen
Session 11: Object-Oriented Approach for Distributed Systems
Application Layer Software Fault Tolerance for Distributed Object-Oriented SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 199
by H.C. Kim, V.S.S. Nair
Session 11: Object-Oriented Approach for Distributed Systems
IPCC++: A C++ Extension for InterProcess Communication with ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 205
by Shelly S. Stubbs, D. L. Carver
Session 12: Metrics and Software Quality
A Policy Independent Metric for Process Selection in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 212
by Yvan Cazabon, Michael Bauer
Session 12: Metrics and Software Quality
Quality Assessment for Multiple Server Cooperating SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 218
by I-Ling Yen, Ing-Ray Chen
Session 12: Metrics and Software Quality
Improving Software Quality through a Novel Testing StrategyFull-text access may be available. Sign in or learn about subscription options.pp. 224
by Xiaomu Zeng, Jeffrey J.P Tsai, Thomas J. Weigert
Session 13: Prototyping and Testing
Object State Testing for Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 232
by J.Z. Gao, D. Kung, P. Hsia, Y. Toyoshima, C. Chen
Session 13: Prototyping and Testing
A Test Strategy for Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 239
by David Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen
Session 13: Prototyping and Testing
Heirarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 245
by Wah Kheang Cheung, C. L. Nehaniv, Kenjiro Takai Miura, Yin Seong Ho
Session 14: Distributed Algorithms and Environments
Architectural Framework for Developing Concurrent ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 256
by Giorgio Bruno, Rakesh Agarwal
Session 14: Distributed Algorithms and Environments
Creating a Distributed Environment Using Object-Oriented TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 262
by Carl K. Chang, Bashir A. Haswarey, Pattanasak Mongkolwat
Session 14: Distributed Algorithms and Environments
Deriving Distributed Algorithms from a General Predicate DetectorFull-text access may be available. Sign in or learn about subscription options.pp. 268
by J.R. Mitchell, V.K. Garg
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization
A Hybrid Approach to Object Library Classification and RetrievalFull-text access may be available. Sign in or learn about subscription options.pp. 278
by Chao-Tsun Chang, Chung-Shyan Liu
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization
Reverse Engineering from COBOL to Narrative SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 284
by T. Yoshino, S. Uehara, T. Ookubo, S. Suguta, Y. Hotta, M. Sonobe
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization
Component Reuse Through Reverse Engineering and Semantic Interface AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 290
by William C. Chu, Hongji Yang
Session 17: Distributed Multi-Media Systems: Tools and Techniques
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System IntegrationFull-text access may be available. Sign in or learn about subscription options.pp. 298
by Uffe Kock Wiil
Session 17: Distributed Multi-Media Systems: Tools and Techniques
Scheduling Dependent Real-Time Multimedia Tasks on Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 306
by Hsing Mei
Session 19: Software Process Improvements
Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 318
by John D. Tvedt, James S. Collofello
Session 19: Software Process Improvements
A Horizontal Approach for Software Process ImprovementFull-text access may be available. Sign in or learn about subscription options.pp. 326
by O. Demirors, D.J. Frailey
Session 20: Multi-Media Storage Management and Applications
The Multimedia Desktop Conference System Adaptability in Network Traffic on LANFull-text access may be available. Sign in or learn about subscription options.pp. 334
by Jin Ho Jung, Hyun S. Yang
Session 20: Multi-Media Storage Management and Applications
Storing Continuous Media Objects Using Parallelism with MergingFull-text access may be available. Sign in or learn about subscription options.pp. 339
by Alfred R. Watkins, Edward Omiecinski
Session 20: Multi-Media Storage Management and Applications
FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage SystemFull-text access may be available. Sign in or learn about subscription options.pp. 346
by Taeck-Geun Kwon, Sukho Lee
Session 22: Multi-Paradigm Programming
Transformation of Relational Schemas to Object-Oriented SchemasFull-text access may be available. Sign in or learn about subscription options.pp. 356
by Weiyi Meng, Aqueo Kamada, Yu-Hsi Chang
Session 22: Multi-Paradigm Programming
A Multiparadigm Programming Approach for Developing Knowledge-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 362
by Paul K.C. Pun, Hilary J. Kahn
Session 23: Software Development for Parallel and Distributed Systems
An Architecture-Independent Software Development Approach for Parallel Processing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 370
by Stephen S. Yau, Doo-Hwan Bae, Jun Wang
Session 23: Software Development for Parallel and Distributed Systems
Software Support for Asynchronous Computing Across NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 376
by Mark E. Cavender, Xiaodong Zhang
Session 23: Software Development for Parallel and Distributed Systems
A Software Platform for Solving PDEs on Distributed Systems: Implementation Issues and Performance PredictionFull-text access may be available. Sign in or learn about subscription options.pp. 383
by Chi-Chung Hui, M. Hamdi, I. Ahmad
Session 24: Panel: Software Fault Tolerance
Software Fault Tolerance: Has it Arrived Yet?Full-text access may be available. Sign in or learn about subscription options.pp. 390
by V.S.S. Nair
Session 24: Panel: Software Fault Tolerance
(Position Paper) Fault-Tolerant SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 391
by Farokh B. Bastani
Session 24: Panel: Software Fault Tolerance
(Position Paper) Quantitative Analysis of Software- and Hardware- Fault ToleranceFull-text access may be available. Sign in or learn about subscription options.pp. 392
by Joanne Bechta Dugan
Session 24: Panel: Software Fault Tolerance
(Position Paper) Software Fault Tolerance at the Operating System LevelFull-text access may be available. Sign in or learn about subscription options.pp. 393
Session 25: Software Security and Safety
A General Approach to Evaluation of Secure SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 396
by Qi Shi, N. Zhang
Session 25: Software Security and Safety
Enforcing Complex Security Policies for Commercial ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 402
by I-Lung Kao, R. Chow
Session 25: Software Security and Safety
A Framework for Designing Safe Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 409
by Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, W.T. Tsai, Lynn Elliott
Session 26: Applications
Designing Chinese Typeface Using ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 416
by Paul Yiu Chung Wong, Siu Chi Hsu
Session 26: Applications
Information Mediation System Design Strategy Among Telecommunication Related Information SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 422
by Fu-Fu Shen, Whei-Yee Lin, Chea-Yean Wong, Chien-Wei Cheng, Hsien-Sheng Chen
Session 27: Panel: Alternative Approaches to Modeling Processes
Author IndexFreely available from IEEE.pp. 430
Showing 71 out of 71