2409 search results - page 369 / 482 » Logical systems for structured specifications |
149
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
129
Voted
ENTCS
2010
15 years 3 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
142
Voted
STTT
2008
15 years 3 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
118
Voted
CONNECTION
2004
15 years 3 months ago
2004
In this paper we discuss the limitations of current evolutionary robotics models and we propose a new framework that might solve some of these problems and lead to an open-ended e...
135
Voted
IR
2000
15 years 3 months ago
2000
Content-based image retrieval in astronomy needs methods that can deal with an image content made of noisy and diffuse structures. This motivates investigations on how information ...