9051 search results - page 1557 / 1811 » On detectability of stochastic systems |
158
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
218
click to vote
SI3D
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
167
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
170
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Modern smartphones provide a high sophisticated camera and a high resolution display. Therefore, they can be used to enable various application scenarios for 1D and 2D barcode re...
193
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...