4205 search results - page 10 / 841 » Typed Mobile Objects |
ISI
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. With such data, it becomes possible to...
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ICN
2009
Springer
15 years 4 months ago
2009
Springer
The established host-centric networking paradigm is challenged due to handicaps related with disconnected operation, mobility, and broken locator/identifier semantics. This paper...
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
Rich online map interaction represents a useful tool to get multimedia information related to physical places. With this type of systems, users can automatically compute the optim...
IDT
2008
14 years 9 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...