3224 search results - page 349 / 645 » On Checking Model Checkers |
173
click to vote
ETFA
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
134
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
213
click to vote
AAAI
2006
15 years 8 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 ...
143
click to vote
OOIS
2001
Springer
15 years 11 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...
152
click to vote
CGVR
2006
15 years 8 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...