3456 search results - page 524 / 692 » Byte Code Engineering |
118
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
121
click to vote
AOSD
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...
120
click to vote
ADAEUROPE
2004
Springer
15 years 8 months ago
2004
Springer
The tree width of a graph G measures how close G is to being a tree or a series-parallel graph. Many well-known problems that are otherwise NP-complete can be solved efficiently if...
134
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
119
click to vote
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...