86 search results - page 6 / 18 » Avoiding Shared Clocks in Networks of Timed Automata |
MOBIHOC
2005
ACM
14 years 7 months ago
2005
ACM
Energy efficiency and collisions avoidance are both critical properties to increase the lifetime and effectiveness of wireless networks. This paper proposes a family of algorithms...
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
ISCA
2002
IEEE
14 years 17 days ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
—In cognitive radio (CR) networks, there are scenarios where the secondary (lower priority) users intend to communicate with each other by opportunistically utilizing the transmi...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
One of the most evident characteristics of an ad hoc ubiquitous computing environment is the dynamism of connections. Due to the mobility of nodes, paths between communicating pee...