23201 search results - page 124 / 4641 » Rewriting Systems with Data |
155
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Address space randomization is an emerging and promising method for stopping a broad range of memory corruption attacks. By randomly shifting critical memory regions at process in...
136
click to vote
FSTTCS
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
162
click to vote
TKDE
2002
15 years 5 months ago
2002
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
171
click to vote
COMPSEC
2004
15 years 5 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
147
click to vote
SOFSEM
2010
Springer
15 years 3 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...