5675 search results - page 3 / 1135 » Formalising Performative Interaction |
FASE
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
PDP
2008
IEEE
14 years 1 months ago
2008
IEEE
The need for integration of human interaction scenarios into BPEL processes lead to the formalisation of tasks and human roles. The specifications BPEL4People and WSHumanTask int...
ICMAS
1998
13 years 8 months ago
1998
For agents to act in collaboration, they often require an agreement that describes how they are to act, to which they are committed. Typically, agreements are characterised as an ...
ACSD
2001
IEEE
13 years 10 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
KI
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...