262 search results - page 1 / 53 » Making Specifications Complete Through Models |
DAGSTUHL
2004
14 years 11 months ago
2004
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
161
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
ICVS
2009
Springer
15 years 4 months ago
2009
Springer
Traditionally computer vision and pattern recognition algorithms are evaluated by measuring differences between final interpretations and ground truth. These black-box evaluations ...
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
The grid vision of a single computing utility has yet to materialize: while many grids with thousands of processors each exist, most work in isolation. An important obstacle for t...
WSC
1998
14 years 10 months ago
1998
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...