1023 search results - page 139 / 205 » A Formal Method for Program Slicing |
105
click to vote
ENTCS
2007
15 years 1 months ago
2007
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
ANOR
2002
15 years 1 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
114
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
100
click to vote
SCAM
2006
IEEE
15 years 7 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
111
click to vote
IFL
2003
Springer
15 years 6 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...