32 search results - page 4 / 7 » Psi-calculi: Mobile Processes, Nominal Data, and Logic |
83
Voted
MDM
2007
Springer
15 years 5 months ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
DEBS
2003
ACM
15 years 4 months ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
101
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
DS
2001
15 years 1 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
RAS
2007
14 years 11 months ago
2007
In this paper, a modified method for occupancy grid map building by a moving mobile robot and a scanning ultrasonic range-finder is proposed. The map building process consists o...