9412 search results - page 1502 / 1883 » An aspect-oriented generative approach |
143
click to vote
KBSE
2003
IEEE
16 years 2 days ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
199
click to vote
MICRO
2003
IEEE
16 years 2 days ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
159
click to vote
MTV
2003
IEEE
16 years 2 days ago
2003
IEEE
In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of f...
168
Voted
SAINT
2003
IEEE
16 years 2 days ago
2003
IEEE
The problem of identifying patterns from system call trails of UNIX processes to better model application behavior has been investigated intensively. Most existing approaches focu...
185
Voted
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...