Sciweavers

2558 search results - page 33 / 512
» Model Composition Contracts
Sort
View
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
15 years 8 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
134
Voted
ATAL
2008
Springer
15 years 4 months ago
Towards a Formalisation of Electronic Contracting Environments
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
Nir Oren, Sofia Panagiotidi, Javier Vázquez...
IOR
2008
96views more  IOR 2008»
15 years 2 months ago
Competition for Procurement Contracts with Service Guarantees
We consider a market with two suppliers and a set of buyers in search of procurement contracts with one of the suppliers. In particular, each buyer needs to process a certain volu...
Fernando Bernstein, Francis de Véricourt
AMAI
2005
Springer
15 years 2 months ago
Graphoid properties of epistemic irrelevance and independence
This paper investigates Walley's concepts of epistemic irrelevance and epistemic independence for imprecise probability models. We study the mathematical properties of irrele...
Fabio Gagliardi Cozman, Peter Walley
150
Voted
COOPIS
2004
IEEE
15 years 6 months ago
Implementing QoS Aware Component-Based Applications
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
Avraam Chimaris, George A. Papadopoulos