1288 search results - page 9 / 258 » Securing aspect composition |
SOCO
2010
Springer
13 years 11 months ago
2010
Springer
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advi...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
FASE
2011
Springer
12 years 11 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
RTAS
2003
IEEE
14 years 29 days ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...