32032 search results - page 6036 / 6407 » Verified programming in Guru |
220
Voted
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
171
Voted
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
178
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
218
Voted
PETRA
2009
ACM
16 years 1 months ago
2009
ACM
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identi...
215
Voted
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...