4370 search results - page 674 / 874 » Algebra of Logic Programming |
147
click to vote
SCP
2010
15 years 2 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
133
click to vote
INTENV
2010
14 years 11 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
166
click to vote
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
104
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
121
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...