616 search results - page 90 / 124 » Component-Based Design of Embedded Software: An Analysis of ... |
144
click to vote
BIRTHDAY
2010
Springer
15 years 9 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
148
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
133
click to vote
LSGRID
2004
Springer
15 years 9 months ago
2004
Springer
The BRIDGES project is incrementally developing and exploring database integration over six geographically distributed research sites with the framework of a Wellcome Trust biomedi...
134
click to vote
COBUILD
1998
Springer
15 years 8 months ago
1998
Springer
This paper will discuss the future use of the dwelling as a place for cooperative work. It is our opinion that the development of the communication technologies and the architectur...
144
click to vote
TSMC
2008
2008
An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis
15 years 4 months ago
Abstract--Reliability and sensitivity analysis is a key component in the design, tuning, and maintenance of network systems. Tremendous research efforts have been expended in this ...