1187 search results - page 157 / 238 » A Timed Calculus for Wireless Systems |
126
Voted
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
Many pervasive computing systems have been built for using mobile computers to interact with networked devices. To deploy a device's user-interface, several systems dynamical...
111
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
132
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Energy consumption continues to be a major concern in multiple application domains including powerhungry data centers, portable and wearable devices, mobile communication device...
132
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
138
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a distributed middleware architecture based on a service-oriented approach, to manage high volume sensor events. Event management takes a multi-step operation f...