1664 search results - page 51 / 333 » Making a Case for Multi-Agent Systems |
ICICS
2001
Springer
15 years 5 months ago
2001
Springer
Network Denial of Service (DoS) attacks are increasing in frequency, severity and sophistication, making it desirable to measure the resilience of systems to DoS attacks. In this p...
115
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
84
Voted
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
— As the cost of embedded sensors and actuators drops, new applications will arise that exploit high density networks of small devices capable of a variety of sensing tasks. Alth...
107
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
111
Voted
ICCBR
2009
Springer
15 years 7 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...