2878 search results - page 270 / 576 » Model Checking FTA |
181
Voted
AAAI
2006
15 years 6 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 ...
115
click to vote
OOIS
2001
Springer
15 years 9 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...
160
Voted
TACAS
2000
Springer
15 years 8 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...
125
Voted
CGVR
2006
15 years 6 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...
141
Voted
MMM
2005
Springer
15 years 10 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...