Sciweavers

2933 search results - page 311 / 587
» Agent-Grid Integration Language
Sort
View
AAAI
2007
15 years 6 months ago
Expressiveness of ADL and Golog: Functions Make a Difference
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
Gabriele Röger, Bernhard Nebel
AAAI
2007
15 years 6 months ago
PLOW: A Collaborative Task Learning Agent
To be effective, an agent that collaborates with humans needs to be able to learn new tasks from humans they work with. This paper describes a system that learns executable task m...
James F. Allen, Nathanael Chambers, George Ferguso...
BPM
2006
Springer
149views Business» more  BPM 2006»
15 years 6 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...
FDL
2008
IEEE
15 years 5 months ago
Scenario-based Validation of Embedded Systems
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
CCE
2007
15 years 5 months ago
Towards an Ontology of Collaboration Patterns
: The concept of patterns and pattern languages has been applied in different application domains like software engineering, human computer interaction, and pedagogy. In the area o...
Jonas Pattberg, Matthias Flügge