1454 search results - page 111 / 291 » Stateful traits and their formalization |
161
click to vote
PODS
2006
ACM
16 years 6 months 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...
145
click to vote
AUSAI
2009
Springer
16 years 25 days 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...
152
click to vote
B
2007
Springer
16 years 13 days 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 ļ...
180
click to vote
CAISE
2007
Springer
16 years 13 days 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...
144
click to vote
FOSSACS
2004
Springer
15 years 11 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...