4722 search results - page 548 / 945 » Encoding Program Executions |
150
click to vote
MOMPES
2006
IEEE
15 years 10 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
120
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
Most malicious attacks compromise system security through memory corruption exploits. Recently proposed techniques attempt to defeat these attacks by protecting program control da...
174
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
148
click to vote
ESAS
2005
Springer
15 years 10 months ago
2005
Springer
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...
120
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...