3082 search results - page 575 / 617 » New Bounds for the Controller Problem |
128
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
181
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
Botnets are networks of compromised computers infected with malicious code that can be controlled remotely under a common command and control (C&C) channel. Recognized as one ...
223
click to vote
VLDB
2002
ACM
16 years 4 months ago
2002
ACM
Multiversion support for XML documents is needed in many critical applications, such as software configuration control, cooperative authoring, web information warehouses, and "...
143
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
144
click to vote
SOSP
2009
ACM
16 years 26 days ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...