9110 search results - page 1598 / 1822 » Formally-Based Design Evaluation |
145
Voted
SOUPS
2006
ACM
15 years 10 months ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
113
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
Sometimes users fail to notice a change that just took place on their display. For example, the user may have accidentally deleted an icon or a remote collaborator may have change...
151
Voted
VEE
2006
ACM
15 years 10 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 ...
151
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Memory is a scarce resource in many embedded systems. Increasing memory often increases packaging and cooling costs, size, and energy consumption. This paper presents CRAMES, an e...
156
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availabi...