7189 search results - page 1309 / 1438 » Connecting Design with Code |
133
click to vote
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
110
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
120
Voted
PPPJ
2006
ACM
15 years 9 months ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
143
Voted
VEE
2006
ACM
15 years 9 months ago
2006
ACM
Virtual Machine Monitors (VMMs) are a common tool for implementing honeypots. In this paper we examine the implementation of a VMM-based intrusion detection and monitoring system ...
125
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...