2838 search results - page 90 / 568 » Verifying Controlled Components |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— A wide number of mobile multi-robot systems makes use of behavior-based approaches to accomplish their missions. However, despite the advantages in term of flexibility and ver...
C3S2E
2009
ACM
14 years 1 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
ROBOTICA
2006
13 years 9 months ago
2006
We combine a "hybrid" force/position control scheme with a potential field approach into a novel method for collision recovery and navigation in unknown environments. It...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The paper analyzes the relationships among the transmission range, carrier sensing range, and interference range in case that power control is adopted and proposes an adaptive r...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— The paper presents the results of experimental tests carried out to validate the performance of a decentralized control law, for the collective circular motion of a team of non...