Sciweavers

11 search results - page 1 / 3
» Negotiation Among Web Services Using LOTOS CADP
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 5 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
ECOWS
2004
Springer
14 years 4 months ago
Negotiation Among Web Services Using LOTOS/CADP
Gwen Salaün, Andrea Ferrara, Antonella Chiric...
AINA
2007
IEEE
14 years 3 months ago
Using Argumentative Agents to Manage Communities of Web Services
This paper presents a framework for specifying Web services communities. A Web service is an accessible application that humans, software agents, and other applications in general ...
Jamal Bentahar, Zakaria Maamar, Djamal Benslimane,...
SOCA
2007
IEEE
14 years 5 months ago
Negotiating Agreements Using Policies in Ubiquitous Computing Scenarios
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
Venkatraman Ramakrishna, Kevin Eustice, Peter L. R...
IAT
2009
IEEE
14 years 2 months ago
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
Thomas Lukasiewicz, Azzurra Ragone