670 search results - page 100 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
127
click to vote
SIAMCOMP
2002
15 years 4 days ago
2002
abstract Alain Mayer Yoram Ofeky Rafail Ostrovskyz Moti Yungx We investigate the problem of self-stabilizing round-robin token management scheme on an anonymous bidirectional ring...
142
Voted
JAIR
2008
15 years 15 days ago
2008
We present exact algorithms for identifying deterministic-actions' effects and preconditions in dynamic partially observable domains. They apply when one does not know the ac...
118
click to vote
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
100
click to vote
HAPTICS
2008
IEEE
15 years 19 days ago
2008
IEEE
The performance of haptic application is highly sensitive to communication delays and losses of data. It implies several constraints in developing networked haptic applications. Th...