2558 search results - page 46 / 512 » Model Composition Contracts |
125
click to vote
ENTCS
2007
15 years 2 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
111
Voted
DRM
2003
Springer
15 years 7 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...
136
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
—Providing proper economic incentives is essential for the success of dynamic spectrum sharing. Cooperative spectrum sharing is one effective way to achieve this goal. In coopera...
135
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
123
Voted
ACSW
2006
15 years 4 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...