23704 search results - page 73 / 4741 » Data and Information as Property |
105
click to vote
EXACT
2007
15 years 4 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
109
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
Advertising has become an integral and inseparable part of the World Wide Web. However, neither public auditing nor monitoring mechanisms still exist in this emerging area. In thi...
112
click to vote
ISMS
2004
Springer
15 years 7 months ago
2004
Springer
: The biomechanical properties of soft tissue derived from experimental measurements are critical for developing a reality-based model for minimally invasive surgical training and ...
104
click to vote
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
104
click to vote
HT
2004
ACM
15 years 7 months ago
2004
ACM
We propose a new method to find related papers using an input paper and its hyperlinked citation relationships rather than keywords. Such related papers are especially useful as b...