1202 search results - page 71 / 241 » Sortings for Reactive Systems |
156
click to vote
AMAI
1999
Springer
15 years 3 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
164
click to vote
MOVEP
2000
15 years 7 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
121
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
118
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
112
click to vote
ICDCSW
2007
IEEE
15 years 10 months ago
2007
IEEE
Today a common goal in the area of email security is to provide protection from a wide variety of threats by being more predictive instead of reactive and to identify legitimate m...