1972 search results - page 141 / 395 » The Timed Asynchronous Distributed System Model |
130
click to vote
ENTCS
2007
15 years 5 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
153
click to vote
WISEC
2009
ACM
15 years 12 months ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
159
click to vote
GI
2008
Springer
15 years 6 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
153
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Target tracking is an important issue in wireless sensor network applications. In this paper, we design a Coverage-Hole Trap Model (CTM) based on a system that contains one moving...
154
click to vote
PPAM
2007
Springer
15 years 11 months ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...