1792 search results - page 251 / 359 » e-Participation and Decision Analysis |
224
click to vote
KBSE
2005
IEEE
16 years 26 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
198
click to vote
CIKM
2005
Springer
16 years 25 days ago
2005
Springer
With this work we aim to make a three-fold contribution. We first address the issue of supporting efficiently queries over string-attributes involving prefix, suffix, containmen...
202
click to vote
PLDI
2004
ACM
16 years 21 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
210
click to vote
VLDB
2004
ACM
16 years 19 days ago
2004
ACM
This presentation will discuss several database technology challenges that are faced when building a data warehouse. It will touch on the challenges posed by high capacity drives ...
237
click to vote
FSKD
2006
Springer
15 years 11 months ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...