4190 search results - page 453 / 838 » Implementing commitment-based interactions |
124
Voted
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
149
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
A probabilistic framework for vision based volumetric reconstruction and marker free tracking of hand and face volumes is presented, which exclusively relies on off-the-shelf hardw...
183
Voted
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
By research on Topic Map standard, the Extended Topic Map (ETM) is proposed as a novel model for better organization and management of the massive knowledge resources in E-learnin...
122
click to vote
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Usually, MAS design and implementation involves a coordination model that structures agent interactions and an infrastructure in charge of enacting it. We propose the ter...
130
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...