1454 search results - page 111 / 291 » Stateful traits and their formalization |
PODS
2006
ACM
16 years 25 days ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
90
Voted
AUSAI
2009
Springer
15 years 7 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
97
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ļ...
110
click to vote
CAISE
2007
Springer
15 years 6 months ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, uniļ¬ed schema. There have been various approaches to schema mergusing on particular modeling languages...
96
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a āuniversalā LMP as the spectrum of a commutat...