2580 search results - page 470 / 516 » Systems for human-powered mobile computing |
159
click to vote
AINA
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we present a sensor inter-vehicle communication protocol based on geographical routing. Sensors installed in cars continuously gather important information about: ai...
150
Voted
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
139
Voted
WS
2008
ACM
15 years 3 months ago
2008
ACM
This article presents the CHIP demonstrator5 for providing personalized access to digital museum collections. It consists of three main components: Art Recommender, Tour Wizard, an...
141
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
129
click to vote
RAID
1999
Springer
15 years 8 months ago
1999
Springer
We approached this line of inquiry by questioning the conventional wisdom that audit logs are too large to be analyzed and must be reduced and filtered before the data can be anal...