


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













