1638 search results - page 182 / 328 » A General Semantics for Evaluation Logic |
173
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
The sheer volume of new malware found each day is growing at an exponential pace. This growth has created a need for automatic malware triage techniques that determine what malwar...
340
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
170
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In a previous paper the authors argued the case for incorporating ideas from innate immunity into artificial immune systems (AISs) and presented an outline for a conceptual framewo...
203
click to vote
JSS
2006
15 years 6 months ago
2006
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
177
click to vote
ICDT
2010
ACM
15 years 10 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...