Sciweavers

285 search results - page 21 / 57
» On Specifying Contract Negotiations
Sort
View
HICSS
2005
IEEE
110views Biometrics» more  HICSS 2005»
15 years 10 months ago
A Trust-based Negotiation Mechanism for Decentralized Economic Scheduling
Abstract— This paper presents a decentralized negotiation protocol for cooperative economic scheduling in a supply chain environment. For this purpose we designed autonomous agen...
Tim Stockheim, Oliver Wendt, Michael Schwind
POPL
2012
ACM
13 years 12 months ago
Access permission contracts for scripting languages
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
Phillip Heidegger, Annette Bieniusa, Peter Thieman...
CD
2004
Springer
15 years 9 months ago
Customizing Component-Based Architectures by Contract
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
Orlando Loques, Alexandre Sztajnberg
AAAI
2008
15 years 6 months ago
Optimal Scheduling of Contract Algorithms with Soft Deadlines
A contract algorithm is an algorithm which is given, as part of its input, a specified amount of allowable computation time. In contrast, interruptible algorithms may be interrupt...
Spyros Angelopoulos, Alejandro López-Ortiz,...
ISTA
2001
15 years 5 months ago
Supporting Behavioral Contracts for COM Components
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
Sonal Bhagat, Rushikesh K. Joshi