2024 search results - page 152 / 405 » A Formal Model of Multi-agent Computations |
124
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
114
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
136
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
136
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
125
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...