9687 search results - page 151 / 1938 » On Natural Mobility Models |
144
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
120
click to vote
ICDCIT
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we consider a contaminated network with an intruder. The task for the mobile agents is to decontaminate all hosts while preventing a recontamination and to do so as ...
129
click to vote
CADUI
2004
15 years 5 months ago
2004
: The main characteristic of a mobile collaborative mixed system is that augmentation of the physical environment of one user occurs through available knowledge of where the user i...
146
click to vote
MIXER
2004
15 years 5 months ago
2004
The main characteristic of a mobile collaborative Mixed Reality (MR) system is that augmentation of the physical environment of one user occurs through available knowledge of wher...
169
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...