3778 search results - page 610 / 756 » Representing Web Graphs |
113
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
137
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
128
click to vote
NDSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Installing various hooks into the victim system is an important attacking strategy employed by malware, including spyware, rootkits, stealth backdoors, and others. In order to def...
138
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain acti...