5198 search results - page 636 / 1040 » A Logic of Agent Programs |
174
click to vote
WCRE
1993
IEEE
15 years 11 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
218
click to vote
DAM
2007
15 years 7 months ago
2007
In addition to their prevalent use for analyzing gene expression, DNA microarrays are an efficient tool for biological, medical, and industrial applications because of their abil...
212
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
221
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
210
click to vote
DRM
2007
Springer
16 years 1 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...