285 search results - page 27 / 57 » On Specifying Contract Negotiations |
ENTCS
2008
13 years 8 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
IWQOS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract— Resource management for individual flows can significantly improve quality of service (QoS) in mobile cellular networks. However, its efficiency depends on the avail...
EUROPAR
2006
Springer
14 years 4 days ago
2006
Springer
We propose coupling based on contracts as a mechanism to address the problem of exchanging information between parties that require information to work together. Specifically, we s...
AAAI
2006
13 years 10 months ago
2006
A contract algorithm is an algorithm which is given, as part of the input, a specified amount of allowable computation time. The algorithm must then compute a solution within the ...
ISDO
2000
13 years 9 months ago
2000
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...