Sciweavers

2612 search results - page 234 / 523
» Mobile Processes and Termination
Sort
View
90
Voted
AAAI
1996
15 years 2 months ago
Noise and the Common Sense Informatic Situation for a Mobile Robot
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...
Murray Shanahan
IJEB
2008
101views more  IJEB 2008»
15 years 22 days ago
Applying a Customer Value Model in mobile communication business
: 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...
Mikko Pynnönen, Jukka Hallikas
FUIN
2010
163views more  FUIN 2010»
14 years 10 months ago
Equational Reasoning on Mobile Ad Hoc Networks
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...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
94
Voted
ENTCS
2002
90views more  ENTCS 2002»
15 years 16 days ago
Guardians for Ambient-based Monitoring
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...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...
96
Voted
MOBISYS
2007
ACM
16 years 10 days ago
MobiUS: enable together-viewing video experience across two mobile devices
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...
Guobin Shen, Yanlin Li, Yongguang Zhang