5843 search results - page 248 / 1169 » Software Security in Practice |
169
click to vote
MAGS
2008
15 years 5 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
183
click to vote
USS
2010
15 years 3 months ago
2010
In a bid to limit the harm caused by ubiquitous remotely exploitable software vulnerabilities, the computer systems security community has proposed primitives to allow execution o...
142
Voted
CLEIEJ
2010
15 years 3 months ago
2010
This article presents the design, implementation and use of a remote network lab with multiple users support as an aid to teaching computer networks. The purpose is to enable mult...
155
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
180
click to vote
SIGOPS
2008
15 years 5 months ago
2008
Virtualization technology is becoming increasingly common in datacenters, since it allows for collocation of multiple workloads, consisting of operating systems, middleware and ap...