73 search results - page 4 / 15 » Error Detection through Consistency Checking |
100
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
We have developed Argus, a novel approach for providing low-cost, comprehensive error detection for simple cores. The key to Argus is that the operation of a von Neumann core cons...
193
click to vote
SUTC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
131
Voted
ISW
2005
Springer
15 years 10 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
157
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
139
click to vote
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a reasoning system for inferring dimension information in spreadsheets. This system can be used to check the consistency of spreadsheet formulas and can be employed to ...