48 search results - page 7 / 10 » A Sound and Complete Algorithm for Distributed Commerce Tran... |
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
KR
2004
Springer
14 years 1 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
TIFS
2010
13 years 6 months ago
2010
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
FORTE
1997
13 years 9 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...