Sciweavers

293 search results - page 16 / 59
» Value-at-Risk in IT Services Contracts
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 4 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
CEEMAS
2005
Springer
15 years 10 months ago
Towards an Institutional Environment Using Norms for Contract Performance
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
Henrique Lopes Cardoso, Eugénio C. Oliveira
191
Voted
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 10 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
QSIC
2005
IEEE
15 years 10 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
AAAI
2007
15 years 6 months ago
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
Steven Reece, Stephen Roberts, Alex Rogers, Nichol...