2838 search results - page 423 / 568 » Verifying Controlled Components |
170
click to vote
IEEEARES
2008
IEEE
16 years 27 days 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...
175
click to vote
ICC
2007
IEEE
16 years 25 days 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...
160
click to vote
ICRA
2007
IEEE
16 years 24 days 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...
176
click to vote
SASO
2007
IEEE
16 years 23 days 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...
195
click to vote
AMS
2007
Springer
16 years 21 days 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...