1622 search results - page 141 / 325 » Autonomous Mobile Programs |
DAGSTUHL
1998
13 years 11 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
LFCS
2009
Springer
14 years 5 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
MOBISEC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
Video management research has largely been ignoring the increased attractiveness of using camera-equipped mobile phones for the production of short home video clips, mostly consid...