135 search results - page 20 / 27 » Model Checking Timed Automata with One or Two Clocks |
157
click to vote
DCOSS
2011
Springer
13 years 11 months ago
2011
Springer
—Given a set of sensor nodes V where each node wants to broadcast a message to all its neighbors that are within a certain broadcasting range, the local broadcasting problem is t...
ALGOSENSORS
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we consider the model of communication where wireless devices can either switch their radios off to save energy (and hence, can neither send nor receive messages), o...
102
Voted
PODS
2008
ACM
15 years 11 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
JAC
2008
15 years 18 days ago
2008
Take a cellular automaton, consider that each configuration is a basis vector in some vector space, and linearize the global evolution function. If lucky, the result could actually...
80
Voted
DSD
2009
IEEE
15 years 2 months ago
2009
IEEE
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...