4401 search results - page 499 / 881 » Computing with Default Logic |
204
Voted
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
195
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
In the course of understanding biological regulatory networks (BRN), scientists usually start by studying small BRNs that they believe to be of particular importance to represent a...
184
click to vote
ACSC
2006
IEEE
16 years 28 days ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
219
Voted
ARGMAS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
214
Voted
NMR
2004
Springer
16 years 6 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...