1855 search results - page 99 / 371 » Composing model programs for analysis |
117
click to vote
UM
2010
Springer
15 years 8 months ago
2010
Springer
A Knowledge Worker (KW) uses her computer to perform different tasks for which she gathers and uses information from disparate sources such as the Web and e-mail, and creates new ...
116
click to vote
ATS
2005
IEEE
15 years 5 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
209
click to vote
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
205
Voted
ICDE
1997
IEEE
16 years 4 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
133
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...