1060 search results - page 106 / 212 » Mechanized semantics |
CASSIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
WOWMOM
1998
ACM
15 years 2 months ago
1998
ACM
This paper presents a framework for provisioning application and channel dependent quality of service in wireless networks. The framework is based on three di erent adaptation mec...
GG
2008
Springer
14 years 11 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...