1368 search results - page 48 / 274 » Perfect Local Computability and Computable Simulations |
101
click to vote
SENSYS
2003
ACM
15 years 4 months ago
2003
ACM
Wireless ad-hoc sensor networks have emerged as an interesting and important research area in the last few years. The applications envisioned for such networks require collaborati...
129
click to vote
KIVS
2011
Springer
14 years 2 months ago
2011
Springer
Localized geographic single path routing along a wireless network graph requires exact location information about the network nodes to assure message delivery guarantees. Node loc...
DAGSTUHL
2010
15 years 22 days ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...
SPIN
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
100
click to vote
DCOSS
2006
Springer
15 years 3 months ago
2006
Springer
In wireless sensor networks, multi-hop localization schemes are very vulnerable to various attacks such as wormholes and range modification attacks. In this paper, we propose a rob...