2558 search results - page 18 / 512 » Model Composition Contracts |
104
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
As information systems (IS) and technology solutions become increasingly service-driven, managers are faced with the task of choosing parameters such as service-levels, pricing, a...
EOR
2008
15 years 2 months ago
2008
This paper examines contract practices between suppliers and retailers in the agricultural seed industry. We construct and analyze single-retailer models of various contract types...
120
Voted
SWAP
2008
15 years 3 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
123
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
111
Voted
JFP
2006
15 years 2 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...