2488 search results - page 345 / 498 » An improvement in formal verification |
113
click to vote
VL
2009
IEEE
15 years 8 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
173
click to vote
IFL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
109
click to vote
SKG
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
124
click to vote
ASIACRYPT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...
107
click to vote
CSCWD
2005
Springer
15 years 7 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...