1031 search results - page 113 / 207 » codes 2004 |
97
Voted
SEM
2004
Springer
15 years 4 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
115
Voted
SPIN
2004
Springer
15 years 4 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
90
Voted
VIZSEC
2004
Springer
15 years 4 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...
90
Voted
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
79
Voted
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...