964 search results - page 48 / 193 » Scenario-driven modeling and validation of requirements mode... |
EUROPKI
2007
Springer
14 years 26 days 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...
WSCG
2000
13 years 10 months ago
2000
Techniques for simultaneous display of volume data and geometric models have been reported in the literature. These techniques either require conversion from one representation to...
WSC
1997
13 years 10 months ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
AAAI
2000
13 years 10 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
The modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address ...