3073 search results - page 86 / 615 » Real World Verification |
DSN
2004
IEEE
14 years 22 days ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
ACMACE
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we describe results from the experiments of a location-dependent shared virtual world system applied to sightseeing entertainment. This system can be used with GPSp...
WMTE
2002
IEEE
14 years 1 months ago
2002
IEEE
The use of computer simulations is changing the nature of scientific investigation and providing us unique insights into the way that the world works. As simulation moves from the...