3342 search results - page 525 / 669 » Automating Abstract Interpretation |
135
Voted
MCMASTER
1993
15 years 4 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
104
click to vote
AAAI
2006
15 years 2 months ago
2006
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...
108
Voted
BMCBI
2007
15 years 22 days ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
95
Voted
REFSQ
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
127
click to vote
VIROLOGY
2010
14 years 11 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...