6800 search results - page 576 / 1360 » Testing with Functions as Specifications |
198
click to vote
CN
2002
15 years 7 months ago
2002
This paper describes technologies that enable IP service providers to offer tighter service level agreements for IP performance, in order to create competitive advantage and bette...
193
click to vote
IR
2000
15 years 7 months ago
2000
Content-based image retrieval in astronomy needs methods that can deal with an image content made of noisy and diffuse structures. This motivates investigations on how information ...
196
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
223
click to vote
ASWEC
2009
IEEE
15 years 5 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
273
click to vote
HCI
2009
15 years 5 months ago
2009
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...