3047 search results - page 483 / 610 » A Temporal Consensus Model |
169
click to vote
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous works we have presented a model to describe and simulate environment for situated multi-agent systems, that we called ELMS. Here, we present an extensions to ...
176
click to vote
BMVC
2001
15 years 8 months ago
2001
This paper addresses the problem of using appearance and motion models in classifying and tracking objects when detailed information of the object’s appearance is not available....
144
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
179
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...
150
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
Faults attacks are a powerful tool to break some implementations of robust cryptographic algorithms such as AES [8] and DES [3]. Various methods of faults attack on cryptographic ...