2432 search results - page 265 / 487 » Using simple abstraction to reinvent computing for paralleli... |
148
click to vote
ICDCS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper is concerned with reducing communication costs when executing distributed user tasks in a sensor network. We take a service-oriented abstraction of sensor networks, whe...
162
click to vote
ICPPW
2006
IEEE
15 years 11 months ago
2006
IEEE
Location is one of the most important contexts used in the applications in the pervasive computing environments . It helps the application do the right thing at the right place. O...
143
click to vote
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
153
click to vote
PODC
1999
ACM
15 years 9 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
194
click to vote
ACOM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...