4584 search results - page 608 / 917 » interact 2007 |
180
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
170
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
167
Voted
ICSOC
2007
Springer
16 years 27 days ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
189
Voted
ICSOC
2007
Springer
16 years 27 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
175
click to vote
ICSOC
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...