4286 search results - page 229 / 858 » Formalizing Service Interactions |
209
click to vote
AWPN
2008
15 years 8 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
156
click to vote
EDOC
2007
IEEE
16 years 23 days ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
148
click to vote
IEEESCC
2007
IEEE
16 years 22 days ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
177
click to vote
SOCASE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
138
click to vote
TGC
2007
Springer
16 years 16 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...