1937 search results - page 318 / 388 » Adaptation-based programming in java |
113
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Two-dimensional data colourings are an effective medium by which to represent three-dimensional data in two dimensions. Such "color-grid" representations hav...
122
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
134
Voted
TSE
2008
15 years 2 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
135
click to vote
PVLDB
2008
15 years 20 days ago
2008
Queries, or calls to stored procedures/user-defined functions are often invoked multiple times, either from within a loop in an application program, or from the where/select claus...
132
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...