1306 search results - page 153 / 262 » A Diagrammatic Approach to Model Completion |
100
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
171
Voted
VLDB
2001
ACM
16 years 1 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
131
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
94
Voted
FGR
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a novel algorithm for estimating complex human motion from 3D video. We base our algorithm on a model-based approach which uses a complete surface mesh of a 3D...
97
Voted
HOLOMAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...