1518 search results - page 269 / 304 » Cryptographic Test Correction |
208
click to vote
POPL
2003
ACM
16 years 24 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
105
click to vote
PODS
2002
ACM
16 years 19 days ago
2002
ACM
In multidimensional data models intended for online analytic processing (OLAP), data are viewed as points in a multidimensional space. Each dimension has structure, described by a...
111
Voted
ICSE
2007
IEEE-ACM
16 years 17 days ago
2007
IEEE-ACM
Software refactoring is the process of reorganizing the internal structure of code while preserving the external behavior. Aspect-Oriented Programming (AOP) provides new modulariz...
90
Voted
ICFP
2006
ACM
16 years 14 days 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...
119
Voted
MOBISYS
2007
ACM
16 years 2 days ago
2007
ACM
Software failures in wireless sensor systems are notoriously difficult to debug. Resource constraints in wireless deployments substantially restrict visibility into the root cause...