2875 search results - page 282 / 575 » Model checking agentspeak |
157
Voted
AAAI
2006
15 years 5 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
107
Voted
OOIS
2001
Springer
15 years 8 months ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
148
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
109
Voted
CGVR
2006
15 years 5 months ago
2006
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...
129
Voted
MMM
2005
Springer
15 years 9 months ago
2005
Springer
Constraints are used in traditional database systems to define consistent database states. For multimedia data it is also important to define constraints for a correct data outp...