14244 search results - page 678 / 2849 » Modeling Program Predictability |
167
click to vote
IQ
2007
15 years 8 months ago
2007
: We introduce an end-to-end framework for data quality that integrates business strategy, data quality models, and supporting investigative and governance processes. We also descr...
184
click to vote
JUCS
2006
15 years 7 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
180
click to vote
COR
2008
15 years 6 months ago
2008
The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...
180
click to vote
IJCAI
1993
15 years 8 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
162
click to vote
IH
2007
Springer
16 years 1 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...