3330 search results - page 451 / 666 » software 2010 |
133
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
137
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
168
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
110
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract-- This paper describes the 2009 Mario AI Competition, which was run in association with the IEEE Games Innovation Conference and the IEEE Symposium on Computational Intell...
126
Voted
CHES
2010
Springer
15 years 6 months ago
2010
Springer
Random delays are often inserted in embedded software to protect against side-channel and fault attacks. At CHES 2009 a new method for generation of random delays was described tha...