823 search results - page 85 / 165 » Stateful Subset Cover |
ATAL
2001
Springer
14 years 2 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
UML
1998
Springer
14 years 2 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
AIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
FDL
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
WSC
2008
14 years 10 days ago
2008
To prepare for the event of bioterrorism, which could spread contagious disease such as anthrax, plague, smallpox, or tularemia to public, local governments in the United States a...