394 search results - page 41 / 79 » Composition mechanisms for retrenchment |
195
click to vote
CSFW
2006
IEEE
16 years 5 days ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
139
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
146
click to vote
ICECCS
2005
IEEE
15 years 11 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
166
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
160
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...