4290 search results - page 743 / 858 » Formal Approaches to Teamwork |
218
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
177
click to vote
AAAI
2010
15 years 7 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
216
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
167
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
205
click to vote
ADBIS
2010
Springer
15 years 7 months ago
2010
Springer
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...