1911 search results - page 285 / 383 » Program analysis for code duplication in logic programs |
133
click to vote
CASSIS
2004
Springer
15 years 6 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
124
Voted
WSC
2008
15 years 4 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
115
click to vote
CJ
2004
15 years 2 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
102
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
149
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...