523 search results - page 79 / 105 » A Formal Account of WS-BPEL |
ECAI
1994
Springer
14 years 17 days ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
DATE
2004
IEEE
14 years 7 days ago
2004
IEEE
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...
EKAW
2006
Springer
14 years 4 days ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...
TABLEAUX
2000
Springer
14 years 1 days ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...