1950 search results - page 120 / 390 » Two Abstractions for Distributed Systems of Mobile Nodes |
288
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
141
Voted
GLOBECOM
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— We develop a new dynamic scheme which continuously redistributes a fixed power budget among the wireless nodes participating in a multi-hop wireless connection, with t...
207
click to vote
ICPP
2009
IEEE
16 years 24 days ago
2009
IEEE
—Wireless sensor networks have become a promising technology in monitoring physical world. In many applications with wireless sensor networks, it is essential to understand how w...
146
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...
193
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile ad-hoc Grid is one of the modern distributed systems that have been introduced until now. It combines traditional grid capabilities with ad-hoc network flexibilities. Servic...