5205 search results - page 881 / 1041 » Tilings and model theory |
184
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
182
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
183
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we look at a supply chain of commodity goods where customer demand is uncertain and partly based on reputation, and where raw material replenishment is uncertain in...
173
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
For a multiagent system (MAS), coordination is the assumption that agents are able to adapt their behavior according to those of the other agents. The principle of Property Based C...
177
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...