Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th COMPSAC 1995: Dallas, Texas, USA
- 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA. IEEE Computer Society 1995, ISBN 0-8186-7119-X
Advances in Formal Methods I
- William E. Howden, G. M. Shi:
Temporal Event Analysis and Program Understanding. 4-11 - Linda B. Sherrell, Doris L. Carver:
FunZ Designs A Bridge between Z Specifications and Haskell Implementations. 12-17 - Paul C. Grabow, L. Liu:
Automatic Generation of C++ Code from an ESCRO2 Specification. 18-24 - Hing-Yan Lee, Hwee-Leng Ong, Eng-Whatt Toh, Sieu-Kong Chan:
A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases. 26-31 - S. M. Yuen, K. P. Lam:
A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems. 32-39 - Kunhuang Huarng, Dick B. Simmons:
Knowledge Reuse through the Application of the Object Knowledge Canonical Form. 40-45 - Xudong He:
A method for analyzing properties of hierarchical predicate transition nets. 50-55 - Ming-Yuan Zhu, Xiao-Bai Mo:
Mechanical synthesis of a unification algorithm in PowerEpsilon. 56-61 - Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan:
Expressing JSD in Z. 62-67
Modeling Techniques
- Masayoshi Aritsugi, Akifumi Makinouchi:
Design and Implementation of Multiple Type Objects in a Persistent Programming Language. 70-76 - Chung-Horng Lung, Joseph E. Urban:
An Expanded View of Domain Modeling for Software Analogy. 77-82 - Boris Stilman:
Dynamic Hierarchy for Multiagent Air Combat. 83-88
Software Technology in the 21st Centurey
- Software Technology in the 21st Centurey: A Technology Forecast. 90
- K. A. Gibson:
Improving software process to implement a wireless mobile network. 91-92 - Carl Murphy:
Parallel Software Engineering - Goals 2000. 93-95
Software Support Leverage for Formal Methods
- Ruqian Lu, Zhi Jin, Ronglin Wan:
Requirement Specification in Pseudo-Natural Language in PROMIS. 96-101 - Martina Schollmeyer, Bruce M. McMillin:
Checking Program Proofs Made Eas. 102-107 - Xiaoping Jia:
An approach to animating Z specifications. 108-113
Database Applications
- Eun Gyung Kim:
A Study on Developing a Distributed Problem Solving System. 122-127 - Jongpil Yoon:
Using Constraints for Distributed Query Processing. 128-133 - Soon Myoung Chung, Pyeong S. Mah, Junguk L. Kim:
Management of Flexible Transactions Using Semantics in Multidatabase Systems. 134-141
Performance Evaluation and Optimization
- Jae Soo Yoo, Myoung-Ho Kim, Yoon-Joon Lee, Byoung Mo Im:
Performance Evaluation of Dynamic Signature File Methods. 144-149 - Sangdon Lee, Sukho Lee:
Applying Dynamic Buffer Allocation to Predictive Load Control. 150-155 - Yao-Jen Chang, Benjamin W. Wah:
Lagrangian Techniques for Solving a Class of Zero-One Integer Linear Programs. 156-161 - Tzer-Shyong Chen, Feipei Lai, Rung-Ji Shang:
A Simple Tree Pattern Matching Algorithm for Code Generator. 162-167
Thursday Plenary Session: Keynote Address II
- Margaret E. Myers:
Department of Defense Information Technology Initiatives. 170-171
Software Development Tools
- David J. Russomanno:
The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics. 172-177 - Christian Stary:
User Interface Design: The WHO, the WHAT, and the HOW Revisited. 178-183 - David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur:
LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. 184-189
Object-Oriented Approach for Distributed Systems
- Pen-Nan Lee, Lawrence Miller, Ping-Chuan Tai, Yiwei Chen:
Object Oriented Design for a Distributed Priority Queue. 192-198 - Hyun C. Kim, V. S. S. Nair:
Application layer software fault tolerance for distributed object-oriented systems. 199-204 - Shelly S. Stubbs, Doris L. Carver:
IPCC++: A C++ Extension for InterProcess Communication with Objects. 205-210
Metrics and Software Quality
- Yvan Cazabon, Michael Bauer:
A Policy Independent Metric for Process Selection in Distributed Systems. 212-217 - I-Ling Yen, Ing-Ray Chen:
Quality Assessment for Multiple Server Cooperating Systems. 218-223 - Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert:
Improving Software Quality through a Novel Testing Strategy. 224-229
Prototyping and Testing
- Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen:
Object state testing for object-oriented programs. 232-238 - David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen:
A Test Strategy for Object-Oriented Programs. 239-244 - Wah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura, Yin Seong Ho:
Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems. 245-254
Distributed Algorithms and Environments
- Giorgio Bruno, Rakesh Agarwal:
Architectural Framework for Developing Concurrent Applications. 256-261 - Carl K. Chang, Bashir Haswarey, Pattanasak Mongkolwat:
Creating A Distributed Environment Using Object-Oriented Technology. 262-267 - J. Roger Mitchell, Vijay K. Garg:
Deriving distributed algorithms from a general predicate detector. 268-273
Reengineering, Reverse Engineering, Reuse, and Customization
- Chao-Tsun Chang, Chung-Shyan Liu:
A Hybrid Approach to Object Library Classification and Retireval. 278-283 - T. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe:
Reverse Engineering from COBOL to Narrative Specification. 284-289 - William C. Chu, Hongji Yang:
Component Reuse Through Reverse Engineering and Semantic Interface Analysis. 290-296
Distributed Multi-Media Systems: Tools and Techniques
- Uffe Kock Wiil:
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration. 298-305 - Hsing Mei:
Scheduling dependent real-time multimedia tasks on distributed systems. 306-311
Software Process Improvements
- John D. Tvedt, James S. Collofello:
Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics Modeling. 318-325 - Onur Demirörs, Dennis J. Frailey:
A horizontal approach for software process improvement. 326-331
Multi-Media Storage Management and Applications
- Jin Ho Jung, Hyun Seung Yang:
The Multimedia Desktop Conference System Adaptability in Network Traffic on LAN. 334-338 - Alfred R. Watkins, Edward Omiecinski:
Storing Continuous Media Objects Using Parallelism With Merging. 339-345 - Taeck-Geun Kwon, Sukho Lee:
FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage System. 346-351
Multi-Paradigm Programming
- Weiyi Meng, Aqueo Kamada, Yuhsi Chang:
Transformation of Relational Schemas to Object-Oriented Schemas. 356-361 - P. K. C. Pun, Hilary J. Kahn:
A Multiparadigm Programming Approach for Developing Knowledge-Based Systems. 362-368
Software Development for Parallel and Distributed Systems
- Stephen S. Yau, Doo-Hwan Bae, Jun Wang:
An Architecture-Independent Software Development Approach for Parallel Processing Systems. 370-375 - Mark E. Cavender, Xiaodong Zhang:
Software Support for Asynchronous Computing Across Networks. 376-382 - Chi-Chung Hui, Mounir Hamdi, Ishfaq Ahmad:
A software platform for solving PDEs on distributed systems: implementation issues and performance prediction. 383-388
Panel: Software Fault Tolerance
- V. S. S. Nair:
Software Fault Tolerance: Has it Arrived Yet? 390 - Farokh B. Bastani:
(Position Paper) Fault-Tolerant Software. 391 - Joanne Bechta Dugan, K. H. Kim:
(Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. 392 - (Position Paper) Software Fault Tolerance at the Operating System Level. 393-395
Software Security and Safety
- Qi Shi, Ning Zhang:
A General Approach to Evaluation of Secure Systems. 396-401 - I-Lung Kao, Randy Chow:
Enforcing complex security policies for commercial applications. 402-408 - Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott:
A Framework for Designing Safe Software Systems. 409-414
Applications
- Paul Yiu Chung Wong, Siu Chi Hsu:
Designing Chinese Typeface Using Components. 416-421 - Fu-Fu Shen, Whei-Yee Lin, Chea-Yean Wong, Chien-Wei Cheng, Hsien-Sheng Chen:
Information Mediation System Design Strategy among Telecommunication Related Information Systems. 422-427
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 17:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
