2726 search results - page 519 / 546 » Application security support in the operating system kernel |
113
Voted
TCAD
2008
14 years 8 months ago
2008
In this paper, we propose a high-performance droplet router for a digital microfluidic biochip (DMFB) design. Due to recent advancements in the biomicroelectromechanical system and...
124
click to vote
ANCS
2009
ACM
14 years 7 months ago
2009
ACM
Although Regular Expressions (RegExes) have been widely used in network security applications, their inherent complexity often limits the total number of RegExes that can be detec...
SOSP
2003
ACM
15 years 6 months ago
2003
ACM
Diagnosing faults in the Internet is arduous and time-consuming, in part because the network is composed of diverse components spread across many administrative domains. We consid...
110
click to vote
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...