4098 search results - page 390 / 820 » Sound mobility models |
184
Voted
ICRA
1993
IEEE
15 years 11 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
149
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many real-world applications use credentials such as passwords as means of user authentication. When accessed from untrusted public terminals, such applications are vulnerable to ...
190
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
160
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
192
Voted
IJHCR
2010
15 years 4 months ago
2010
This paper presents a middleware platform allowing the dissemination of software components on handheld devices forming a disconnected MANET. It is based on a model that exploits ...