2838 search results - page 423 / 568 » Verifying Controlled Components |
IEEEARES
2008
IEEE
14 years 4 months ago
2008
IEEE
—A bot is a piece of software that is usually installed on an infected machine without the user’s knowledge. A bot is controlled remotely by the attacker under a Command and Co...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Existing methods for local area service discovery either don’t scale or rely on a trustworthy directory server; in some environments these restrictions are unacceptable or im...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...
SASO
2007
IEEE
14 years 4 months ago
2007
IEEE
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
AMS
2007
Springer
14 years 4 months ago
2007
Springer
Autonomous robots that can adapt to novel situations has been a long standing vision of robotics, artificial intelligence, and cognitive sciences. Early approaches to this goal du...