6293 search results - page 1177 / 1259 » Information Flow Testing |
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
The United States Environmental Protection Agency (EPA) prepares a national criteria and hazardous air pollutant (HAP) emission inventory with input from numerous states, local an...
EDBT
2008
ACM
2008
ACM
iDataGuard: middleware providing a secure network drive interface to untrusted internet data storage
14 years 9 months ago
In this demonstration, we present the design and features of iDataGuard. iDataGuard is an interoperable security middleware that allows users to outsource their file systems to he...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...