1534 search results - page 118 / 307 » Error Reporting Logic |
162
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
129
click to vote
COLING
2008
15 years 5 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
137
click to vote
TCAD
1998
15 years 4 months ago
1998
In this paper, we present a probabilistic simulation technique to estimate the power consumption of a cmos circuit under a general delay model. This technique is based on the noti...
127
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
An accurate model is presented to calculate the short circuit energy dissipation of logic cells. The short circuit current is highly dependent on the input and output voltage valu...
134
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...