2558 search results - page 16 / 512 » Model Composition Contracts |
106
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
121
Voted
WSC
2008
15 years 4 months ago
2008
In this paper, we consider equity-linked life insurance contracts that give their holder the possibility to surrender their policy before maturity. Such contracts can be valued us...
138
click to vote
JUCS
2008
15 years 2 months ago
2008
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...
118
click to vote
ENTCS
2006
15 years 2 months ago
2006
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...
81
Voted
ENTCS
2010
15 years 2 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...