260 search results - page 18 / 52 » Strong Mobility in Mobile Haskell |
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
LCN
2006
IEEE
14 years 3 months ago
2006
IEEE
— In mobile sensor networks, self-deployment and relocation are two different research issues, both of which involve autonomous sensor movement. They share in most cases a common...
MSWIM
2006
ACM
14 years 3 months ago
2006
ACM
The simulation of wireless networks has been an important tool for researchers and the industry in the last years. Especially in the field of Mobile Ad Hoc Networking, most curre...
POLICY
2004
Springer
14 years 3 months ago
2004
Springer
Ad hoc networking is the basis of the future military network-centric warfare architecture. Such networks are highly dynamic in nature, as mobile ad hoc networks are formed over w...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
Being able to understand dynamics of human mobility is essential for urban planning and transportation management. Besides geographic space, in this paper, we characterize mobility...