1622 search results - page 155 / 325 » Autonomous Mobile Programs |
ICDCS
2007
IEEE
14 years 4 months ago
2007
IEEE
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
DFMA
2005
IEEE
14 years 4 months ago
2005
IEEE
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
WMC
2004
13 years 11 months ago
2004
: Testing of a software application serves the accomplishment of two dis tinct objectives: ensuring functionality and end-user acceptance. However, with an increasing desire for mo...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
MobileASL, a software program enabling sign-language video on mobile devices over conventional U.S. cellular networks, was evaluated in a three-week field study during the summer ...
ICALP
2003
Springer
14 years 3 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...