134 search results - page 26 / 27 » S.P.L.O.T.: software product lines online tools |
KDD
2009
ACM
13 years 9 months ago
2009
ACM
Currently, the most significant line of defense against malware is anti-virus products which focus on authenticating valid software from a white list, blocking invalid software f...
PLDI
2000
ACM
13 years 8 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
GPCE
2008
Springer
13 years 6 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
FM
1997
Springer
13 years 9 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...