1098 search results - page 27 / 220 » System safety as an emergent property in composite systems |
NORDICHI
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes the design process of a modular system for supporting physical and cognitive rehabilitation in the swimming pool. In such an environment, the therapist is cal...
FASE
1998
Springer
13 years 11 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
ICSNW
2004
Springer
14 years 29 days ago
2004
Springer
With new standards like RDF or OWL paving the way for the much anticipated Semantic Web, a new breed of very large scale semantic systems is about to appear. Traditional semantic r...