2173 search results - page 290 / 435 » An operational semantics for skeletons |
109
click to vote
SOSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
109
click to vote
SOSE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
QSIC
2007
IEEE
15 years 7 months ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...