241 search results - page 9 / 49 » Design by Contract Using Meta-Assertions |
106
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
SERP
2003
14 years 11 months ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
DRM
2003
Springer
15 years 3 months ago
2003
Springer
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...
74
Voted
IPSN
2007
Springer
15 years 4 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
89
Voted
FTDCS
2003
IEEE
15 years 3 months ago
2003
IEEE
Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support f...