6201 search results - page 971 / 1241 » Implementation of Axiomatic Language |
149
click to vote
DRM
2003
Springer
15 years 12 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...
204
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
195
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
158
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...
166
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...