1054 search results - page 164 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
127
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
Existing task allocation algorithms generally do not consider the effects of task interaction, such as interference, but instead assume that tasks are independent. That assumptio...
164
Voted
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
175
Voted
AAMAS
2012
Springer
13 years 11 months ago
2012
Springer
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...
115
Voted
PODS
1989
ACM
15 years 8 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
158
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...