8086 search results - page 1203 / 1618 » On the Implementation of Dynamic Patterns |
313
click to vote
AAAI
2012
13 years 9 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
194
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
Spam filters often use the reputation of an IP address (or IP address range) to classify email senders. This approach worked well when most spam originated from senders with fix...
173
click to vote
RTAS
2003
IEEE
16 years 1 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
205
click to vote
PLDI
2003
ACM
16 years 14 hour ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
172
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...