674 search results - page 94 / 135 » Potential for personalization |
117
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
103
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
126
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
104
click to vote
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
SIGSOFT
2002
ACM
16 years 17 days ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...