2612 search results - page 234 / 523 » Mobile Processes and Termination |
AAAI
1996
14 years 7 days ago
1996
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due t...
IJEB
2008
13 years 11 months ago
2008
: Communication services are currently confronted with large changes due to the price erosion of services and the entry of new service providers. The gap has been filled with diffe...
FUIN
2010
13 years 8 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
ENTCS
2002
13 years 10 months ago
2002
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
MOBISYS
2007
ACM
14 years 10 months ago
2007
ACM
We envision a new better-together mobile application paradigm where multiple mobile devices are placed in a close proximity and study a specific together-viewing video application...