2558 search results - page 8 / 512 » Model Composition Contracts |
ISDO
2000
13 years 8 months ago
2000
This paper presents an approach for the specification and implementation of business contracts needed for Business-to-Business (B2B) services. We first examine typical elements of...
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
PPOPP
2005
ACM
14 years 29 days ago
2005
ACM
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
SFM
2009
Springer
14 years 1 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...