5015 search results - page 213 / 1003 » Model Checking a Path |
174
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Resiliency to link failures in optical networks is becoming increasingly important due to the increasing data rate in the fiber. Path protection schemes attempt to guarantee a bac...
134
click to vote
CGF
2000
15 years 6 months ago
2000
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
156
click to vote
CEC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
155
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
164
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
The efficient use of network capacity strongly depends upon the path selection procedure. In this paper we propose and evaluate efficient path selection algorithms for survivable ...