3771 search results - page 66 / 755 » Subobject Transformation Systems |
107
click to vote
SAFECOMP
2009
Springer
15 years 9 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
121
Voted
AVSS
2007
IEEE
15 years 9 months ago
2007
IEEE
With decreasing costs of high quality surveillance systems, human activity detection and tracking has become increasingly practical. Accordingly, automated systems have been desig...
107
click to vote
MFCS
1997
Springer
15 years 6 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
108
click to vote
NSDI
2008
15 years 4 months ago
2008
The paper presents and evaluates Nysiad,1 a system that implements a new technique for transforming a scalable distributed system or network protocol tolerant only of crash failur...
117
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded software design for real time reactive system