7124 search results - page 373 / 1425 » Programming Languages and Operating Systems |
290
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
249
click to vote
JCS
1998
15 years 6 months ago
1998
A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...
191
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
311
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
229
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...