164 search results - page 9 / 33 » A Hybrid Type System for Lock-Freedom of Mobile Processes |
ECOOP
2000
Springer
14 years 21 hour ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
This paper proposes a new technique for computing the distance to an unknown planar surface and, at the same time, estimating the material of the surface through the use of low-co...
ICALP
2003
Springer
14 years 27 days ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
ESOA
2006
13 years 11 months ago
2006
The individual agents that interact in a multi-agent system typically exist along a continuum ranging from heavyweight cognitive agents (often of the "BDI" type) to light...
VR
2008
IEEE
13 years 7 months ago
2008
IEEE
We describe a novel markerless camera tracking approach and user interaction methodology for augmented reality (AR) on unprepared tabletop environments. We propose a real-time sys...