1102 search results - page 26 / 221 » Generalizing Updates: From Models to Programs |
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
SP
1999
IEEE
13 years 12 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...