1098 search results - page 80 / 220 » System safety as an emergent property in composite systems |
ICDT
2010
ACM
13 years 8 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
A self-stabilizing distributed system is a faulttolerant distributed system that tolerates any kind and any finite number of transient faults, such as message loss and memory cor...
SEFM
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
CONCUR
2003
Springer
14 years 2 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...
ISI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract—Public communication during natural and manmade disasters is a key issue that must be addressed to protect lives and properties. The choice of the best protective action...