3435 search results - page 569 / 687 » Aspect Model Unweaving |
172
click to vote
MM
2006
ACM
16 years 9 days ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
183
click to vote
PLDI
2006
ACM
16 years 9 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
172
click to vote
PPPJ
2006
ACM
16 years 9 days ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
162
click to vote
APCSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
In order to enhance the performance of a computer, most modern processors use superscalar architecture and raise the clock frequency. Superscalar architecture can execute more than...
183
click to vote
ASWEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...