1129 search results - page 205 / 226 » Formal Verification of Websites |
107
click to vote
ECAIW
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
148
click to vote
APSCC
2008
IEEE
15 years 3 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
103
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
An important challenge within the field of Criminology is to investigate the spatio-temporal dynamics of crime. Typical questions in this area are how the behaviour of offenders, ...
116
click to vote
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
125
click to vote
DASFAA
2008
IEEE
15 years 3 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...