The Solar-powered Autonomous Underwater Vehicle (SAUV) platform has been developed over the past several years as a means to achieve long-endurance cooperative missions, and the d...
Radim Bartos, Steven G. Chappell, Rick Komerska, M...
Many modern mobile devices, such as mobile phones or Personal Digital Assistants (PDAs), are able to run Java applications, such as games, Internet browsers, chat tools and so on....
Gabriele Costa, Fabio Martinelli, Paolo Mori, Chri...
Applications in mobile manipulation require sophisticated motion execution skills to address issues like redundancy resolution, reactive obstacle avoidance, and transitioning betw...
The issue of certificate revocation in mobile ad hoc networks (MANETs) where there are no on-line access to trusted authorities, is a challenging problem. In wired network environ...
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...