1098 search results - page 167 / 220 » System safety as an emergent property in composite systems |
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
MJ
2006
13 years 8 months ago
2006
A new hybrid approach consists to use the advantages of both systems namely the high geometric aspects of the electrodes of the ultracapacitor and the high dielectric strength of ...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
In runtime monitoring, a programmer speciļ¬es a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inļ¬...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
āVehicular communication networking is a promising approach of facilitating road safety, traffic management, and infotainment dissemination for drivers and passengers. However, i...