4341 search results - page 729 / 869 » Quantitative Model checking |
154
click to vote
AAAI
2006
15 years 7 months ago
2006
Set variables are ubiquitous in modeling (soft) constraint problems, but efforts on practical consistency algorithms for Weighted Constraint Satisfaction Problems (WCSPs) have onl...
162
click to vote
SLP
1993
15 years 7 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
151
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
154
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
171
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...