2558 search results - page 38 / 512 » Model Composition Contracts |
118
click to vote
JCS
2006
15 years 2 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
113
Voted
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
104
Voted
IMPERIAL
1993
15 years 6 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
133
Voted
WIOPT
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we address the spectrum portfolio optimization (SPO) question in the context of secondary spectrum markets, where bandwidth (spectrum access rights) can be bought...
125
Voted
MANSCI
2007
15 years 2 months ago
2007
Performance-based contracting is reshaping service support supply chains in capital intensive industries such as aerospace and defense. Known as Power by the Hour in the private s...