17582 search results - page 3207 / 3517 » From Distributed Sequential Computing to Distributed Paralle... |
154
click to vote
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
Achieving IP handoff with a short latency and minimal packet loss is essential for mobile devices that roam across IP subnets. Many existing solutions require changes to be made t...
146
click to vote
BROADNETS
2004
IEEE
15 years 8 months ago
2004
IEEE
Traditionally, the routing problem is addressed at the network layer, an approach that has been extended to the wireless realm. In wireless multihop networks, however, strict laye...
152
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
Wireless sensor networks (WSNs) consist of a large collection of small nodes providing collaborative and distributed sensing ability in unpredictable environments. Given their unat...
134
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper examines agent-based systems designed for a variety of human learning tasks. These are typically split into two areas: "training", which generally refers to a...
149
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...