3073 search results - page 86 / 615 » Real World Verification |
124
click to vote
DSN
2004
IEEE
15 years 6 months 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...
138
Voted
FORMATS
2010
Springer
15 years 24 days 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...
130
Voted
FM
2009
Springer
15 years 18 days 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...
131
Voted
ACMACE
2006
ACM
15 years 8 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...
113
click to vote
WMTE
2002
IEEE
15 years 7 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...