default search action
2nd WORDS 1996: Laguna Beach, California, USA
- Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, February 1-2, 1996, Laguna Beach, California, USA. IEEE Computer Society 1996, ISBN 0-8186-7570-5
- Hermann Kopetz, Stefan Poledna:
A node as a real-time object. 2-7 - Jeffrey J. P. Tsai, Thomas J. Weigert:
A logic-based requirements language for the specification and analysis of real-time systems. 8-16 - Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack:
Real time formal specification using VDM++. 17-24 - Hanêne Ben-Abdallah, Young-Si Kim, Insup Lee:
Schedulability and safety analysis in the graphical communicating shared resources. 25-33 - Franco Travostino, E. Menze, Franklin Reynolds:
Paths: programming with system resources in support of real-time distributed applications. 36-45 - P. M. Hurley, T. A. Stedman:
A client-server approach to DCE inter-operability. 46-53 - Onno S. van Roosmalen, W. J. M. Lemmens:
Implementation of a transparent RPC for distributed object-oriented systems. 54-58 - K. H. Kim, Chittur Subbaraman, Yuseok Kim:
The DREAM library support for PCD and RTO.k programming in C++. 59-68 - Martin Gergeleit, Hermann Streich:
TaskPair-scheduling with optimistic case execution times-an example for an adaptive real-time system. 69-76 - Edgar Nett, H. Streich, Paolo Bizzarri, Andrea Bondavalli
, Fabio Tarini:
Adaptive software fault tolerance policies with dynamic real-time guarantees. 78-85 - Farokh B. Bastani, Bojan Cukic, Victoria Hilford, Anouar Jamoussi:
Toward dependable safety-critical software. 86-92 - Eltefaat Shokri, Kam S. Tso:
Ada95 object-oriented and real-time support for development of software fault tolerance reusable components. 93-100 - I-Ling Yen:
Multiple invariant system design for fault-tolerant real-time applications. 101-107 - David E. Bakken, Richard E. Schantz, John A. Zinky:
QoS issues for wide-area CORBA-based object systems. 110-112 - M. B. Davis, J. J. Sydir:
Position paper: resource management for complex distributed systems. 113-115 - Louise E. Moser, Priya Narasimhan, P. M. Melliar-Smith:
Object-oriented programming of complex fault-tolerant real-time systems. 116-119 - Toshiro Kamiuchi, Hiroaki Nakanishi, Keijiro Hayashi:
Operating system structure model for real-time systems. 120-124 - Vicraj Thomas:
Failure notifications: a useful extension to the object programming model. 125- - G. Krasovec, N. Shankar, P. Ward:
Integration of formal verification with real-time design. 128-136 - Sung Deok Cha, Hyoung Seok Hong:
Specification and analysis of real-time systems in Statecharts. 137-143 - Carol L. Hoover, Pradeep K. Khosla:
An analytical approach to change for the design of reusable real-time software. 144-151 - Seung-Min Yang, Tae-Myung Yoon, Moon Hae Kim, Byoung-Joon Min, Jung-Guk Kim, Shin Heu:
System development based on a real-time object model. 152-159 - Stephen S. Yau, J. Wang, J.-W. Kim:
Object-oriented software development with fault tolerance for distributed real-time systems. 160-167 - Richard Mark Soley:
Position paper: real-time is a critical feature for CORBA, just like everything else. 170-172 - D. Allen:
CORBA technology for cross-domain interoperability in embedded military systems, and issues in its use. 173-178 - Stuart E. Mitchell, Andy J. Wellings:
Real-time programming in the concurrent object-oriented language TAO. 179-181 - Bhavani Thuraisingham, Peter C. Krupp, Victor Fay Wolfe:
On real-time extensions to object request brokers: a panel position paper. 182-185 - D. M. Wells:
Using object frameworks to enable real-time and dependability in a modular operating system. 186-190 - Yeong-Jia Chen, Daniel Mossé, Shi-Kuo Chang:
An object-based model for dependable real-time distributed systems. 192-200 - Edward H. Bensley, Peter C. Krupp, Ruth Ann Sigel, Michael Squadrito, Bhavani Thuraisingham, Thomas Wheeler:
Object-oriented implementation of an infrastructure and data manager for real-time command and control systems. 201-209 - Satoshi Yamane:
Object-oriented method for real-time systems based on timed automaton. 210-217 - Leyuan Shi, Phillip Q. Hwang:
Design and optimization of complex real-time dependable systems. 218-224 - Soomyung Park, Insook Chung, Geonyou Jo, Sunyoung Han, Kwanho Song:
Fault-tolerant real-time synchronous collaboration environment using WWW. 226-231 - L. C. Hu, K.-J. Lin:
A simulation study of real-time MPEG traffic using forward error control scheme. 232-240
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-11-22 19:50 CET 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: