963 search results - page 66 / 193 » Modeling and analysis of real -time systems with mutex compo... |
120
click to vote
SAB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
132
click to vote
IMR
2004
Springer
15 years 5 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
109
click to vote
CSREASAM
2009
15 years 28 days ago
2009
Security defense tools like firewalls and antivirus softwares are not sufficient to defend against dynamic threats to database systems. Successful attacks could not only seriously ...
116
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper reports on an outdoor mobile robot that learns to avoid collisions by observing a human driver operate a vehicle equipped with sensors that continuously produce a ma...