2810 search results - page 309 / 562 » Contract-Based Component System Design |
172
Voted
SCS
2003
15 years 4 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
122
click to vote
TSP
2008
15 years 3 months ago
2008
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...
110
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
Our goal is to help automate the capture and broadcast of lectures to remote audiences. There are two inter-related components to the design of such systems. The technology compon...
127
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
136
click to vote
SRDS
1999
IEEE
15 years 7 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...