Sciweavers

285 search results - page 17 / 57
» On Specifying Contract Negotiations
Sort
View
CONCUR
2008
Springer
13 years 10 months ago
Contract-Directed Synthesis of Simple Orchestrators
The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified beh...
Luca Padovani
KBSE
2009
IEEE
14 years 3 months ago
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sa...
ACSC
2005
IEEE
14 years 2 months ago
Auction Based Resource Negotiation in NOMAD
The challenges faced by mobile and distributed applications include the ability to discover and negotiate for the resources required for execution. The NOMAD (Negotiated Object Mo...
Kris Bubendorfer, John H. Hine
EASSS
2001
Springer
14 years 29 days ago
Automated Negotiation and Decision Making in Multiagent Environments
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
Sarit Kraus
ASWEC
2005
IEEE
14 years 2 months ago
Operational Management Contracts for Adaptive Software Organisation
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
Alan W. Colman, Jun Han