4098 search results - page 504 / 820 » Sound mobility models |
171
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
181
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
186
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—We propose and investigate a deterministic traveling wave model for the progress of epidemic routing in disconnected mobile ad hoc networks. In epidemic routing, broadcast or un...
213
click to vote
AVI
2006
15 years 8 months ago
2006
Mixed reality systems seek to smoothly link the physical and data processing (digital) environments. Although mixed reality systems are becoming more prevalent, we still do not ha...
284
click to vote
GIS
2003
ACM
16 years 7 months ago
2003
ACM
Location-Based Services (LBSs) utilize information about users' locations through location-aware mobile devices to provide services, such as nearest features of interest, the...