Sold Out
Book Categories |
Message from the Workshop Co-Chairs | ||
Program Chairs and Program Committee | ||
A Node as a Real-Time Object | 2 | |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems | 8 | |
Real Time Formal Specification Using VDM[superscript ++] | 17 | |
Schedulability and Safety Analysis in the Graphical Communicating Shared Resources | 25 | |
Paths: Programming with System Resources in Support of Real-Time Distributed Applications | 36 | |
A Client-Server Approach to DCE Inter-Operability | 46 | |
Implementation of a Transparent RPC for Distributed Object-Oriented Systems | 54 | |
The DREAM Library Support for PCD and RTO.k Programming in C++ | 59 | |
TaskPair-Scheduling with Optimistic Case Execution Times - An Example for an Adaptive Real-Time System | 69 | |
Adaptive Software Fault Tolerance Policies with Dynamic Real-Time Guarantees | 78 | |
Toward Dependable Safety-Critical Software | 86 | |
Ada95 Object-Oriented and Real-Time Support for Development of Software Fault Tolerance Reusable Components | 93 | |
Multiple Invariant System Design for Fault-Tolerant Real-Time Applications | 101 | |
Position Paper: QoS Issues for Wide-Area CORBA-Based Object Systems | 110 | |
Position Paper: Resource Management for Complex Distributed Systems | 113 | |
Position Paper: Operating System Structure Model for Real-Time Systems | 116 | |
Commentary: Object-Oriented Programming of Complex Fault-Tolerant Real-Time Systems | 120 | |
Commentary: Failure Notifications: A Useful Extension to the Object Programming Model | 125 | |
Integration of Formal Verification with Real-Time Design | 128 | |
Specification and Analysis of Real-Time Systems in Statecharts | 137 | |
An Analytical Approach to Change for the Design of Reusable Real-Time Software | 144 | |
System Development Based on a Real-Time Object Model | 152 | |
Object-Oriented Software Development with Fault Tolerance for Distributed Real-Time Systems | 160 | |
Position Paper: Real-Time is a Critical Feature for CORBA, Just Like Everything Else | 170 | |
Position Paper: CORBA Technology for Cross-Domain Interoperability in Embedded Military Systems, and Issues in Its Use | 173 | |
Position Paper: Real-Time Programming in the Concurrent Object-Oriented Language TAO | 179 | |
Position Paper: On Real-Time Extensions to Object Request Brokers | 182 | |
Position Paper: Using Object Frameworks to Enable Real-Time and Dependability in a Modular Operating System | 186 | |
An Object-Based Model for Dependable Real-Time Distributed Systems | 192 | |
Object-Oriented Implementation of an Infrastructure and Data Manager for Real-Time Command and Control Systems | 201 | |
Object-Oriented Method for Real-Time Systems Based on Timed Automaton | 210 | |
Design and Optimization of Complex Real-Time Dependable Systems | 218 | |
Fault-Tolerant Real-Time Synchronous Collaboration Environment using WWW | 226 | |
A Simulation Study of Real-Time MPEG Traffic Using Forward Error Control Scheme | 232 | |
Author Index | 241 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionProceedings of WORDS'96
X
This Item is in Your InventoryProceedings of WORDS'96
X
You must be logged in to review the productsX
X
X
Add Proceedings of WORDS'96, , Proceedings of WORDS'96 to the inventory that you are selling on WonderClubX
X
Add Proceedings of WORDS'96, , Proceedings of WORDS'96 to your collection on WonderClub |