2243 search results - page 266 / 449 » Contracts for Mobile Processes |
163
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
166
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Image triage is a common task in digital photography. Determining which photos are worth processing for sharing with friends and family and which should be deleted to make room fo...
169
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
176
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
249
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We present HERMES, a prototype system based on a powerful query language for trajectory databases, which enables the support of aggregative Location-Based Services (LBS). The key ...