1098 search results - page 89 / 220 » System safety as an emergent property in composite systems |
QSIC
2007
IEEE
14 years 3 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
CONCUR
1994
Springer
14 years 1 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
ICDCSW
2000
IEEE
14 years 16 days ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
While being very successful in everyday life, GPSbased localization systems exhibit limited performance under trees, behind walls, and in closed rooms, and sometimes induce costs ...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. This study is intended to deal with the interdependency between control and body systems, and to discuss the “relationship as it should be” between these two systems....