1796 search results - page 180 / 360 » An Approach to Compositional Model Checking |
85
Voted
EUMAS
2006
15 years 1 months ago
2006
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
162
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and final c...
96
Voted
FMOODS
2006
15 years 1 months ago
2006
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
CAISE
2006
Springer
15 years 4 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...
100
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...