185 search results - page 3 / 37 » Invariants, Modularity, and Rights |
PLPV
2010
ACM
14 years 4 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
SIGSOFT
2000
ACM
13 years 12 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
APSEC
2005
IEEE
13 years 9 months ago
2005
IEEE
This paper shows that a proper combination of instance-level aspects and dynamic deployment can be used to enhance an aspect-based access control system with dynamic and fine-grai...
JSC
2002
13 years 7 months ago
2002
ENTCS
2010
13 years 5 months ago
2010
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1