211 search results - page 3 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
COORDINATION
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
FMOODS
2006
13 years 6 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
APSCC
2008
IEEE
13 years 7 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
COLLABORATION
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...