4286 search results - page 434 / 858 » Formalizing Service Interactions |
199
click to vote
APWEB
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
191
click to vote
EPK
2006
15 years 8 months ago
2006
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
165
click to vote
FIW
2000
15 years 8 months ago
2000
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
237
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
157
click to vote
OTM
2007
Springer
16 years 27 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...