602 search results - page 39 / 121 » Efficient Model Checking of Applications with Input Output |
134
Voted
AAAI
2010
15 years 3 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
127
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
102
click to vote
EUROPKI
2007
Springer
15 years 6 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
110
Voted
PAKDD
2000
ACM
15 years 6 months ago
2000
ACM
Detection of interactions among data items constitutes an essential part of knowledge discovery. The cascade model is a rule induction methodology using levelwise expansion of a la...
171
Voted
GRAPHICSINTERFACE
2004
15 years 4 months ago
2004
We propose a novel approach for a dense texture-based visualization of vector fields on curved surfaces. Our texture advection mechanism relies on a Lagrangian particle tracing th...