4722 search results - page 112 / 945 » Encoding Program Executions |
157
Voted
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
124
Voted
VIZSEC
2004
Springer
15 years 7 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...
109
click to vote
MICRO
1993
IEEE
15 years 6 months ago
1993
IEEE
Compiler-controlled speculative execution has been shown to be e ective in increasing the availableinstruction level parallelism ILP found in non-numeric programs. An importantpr...
AAAI
1994
15 years 3 months ago
1994
A variety of reactive plan execution systems have been developed in recent years, each attempting to solve the problem of taking reasonable courses of action fast enough in a dyna...
196
Voted
ESORICS
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...