1098 search results - page 34 / 220 » System safety as an emergent property in composite systems |
115
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
131
click to vote
SNPD
2003
15 years 2 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
120
click to vote
CAV
2005
Springer
15 years 6 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
QSHINE
2005
IEEE
15 years 6 months ago
2005
IEEE
—A complete complementary code based direct sequence code division multiple access (CC/DS-CDMA) system has been proposed recently as a potential candidate for beyond third genera...
114
click to vote
ECHT
1994
15 years 5 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...