4722 search results - page 159 / 945 » Encoding Program Executions |
123
click to vote
RAID
2005
Springer
15 years 10 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
132
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
170
click to vote
AFP
2008
Springer
15 years 11 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
111
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
139
click to vote
ICPADS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract: The object-oriented (OO) distributed realtime (RT) programming movement started in 1990's and is growing rapidly at this turn of the century. The motivations are rev...