602 search results - page 39 / 121 » Efficient Model Checking of Applications with Input Output |
AAAI
2010
13 years 9 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...
IPPS
2006
IEEE
14 years 3 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...
EUROPKI
2007
Springer
14 years 1 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...
PAKDD
2000
ACM
14 years 20 days 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...
GRAPHICSINTERFACE
2004
13 years 10 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...