1098 search results - page 8 / 220 » System safety as an emergent property in composite systems |
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
There exists an acute need for an unambiguous objectively measurable emergency scale to facilitate communication and mutual understanding of the nature of any emergency, by the pu...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
ICFEM
2004
Springer
14 years 26 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
IDC
2009
Springer
13 years 5 months ago
2009
Springer
Emergence is a key element in the research of multi-agent systems. Emergent properties provide higher level features to a system formed of simpler individuals. So far, emergence ha...