8959 search results - page 1654 / 1792 » Composing aspects with aspects |
207
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Packet classification is crucial for the Internet to provide more value-added services and guaranteed quality of service. Besides hardware-based solutions, many software-based cla...
188
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
198
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
204
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...