Sciweavers

2026 search results - page 340 / 406
» Tools for Test Case Generation
Sort
View
ICLP
2009
Springer
15 years 11 months ago
An Engine for Computing Well-Founded Models
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
Terrance Swift
ICAC
2009
IEEE
15 years 11 months ago
Injecting realistic burstiness to a traditional client-server benchmark
The design of autonomic systems often relies on representative benchmarks for evaluating system performance and scalability. Despite the fact that experimental observations have e...
Ningfang Mi, Giuliano Casale, Ludmila Cherkasova, ...
INFOCOM
2009
IEEE
15 years 11 months ago
Topology Formation for Wireless Mesh Network Planning
—Wireless mesh networks are becoming prevalent in providing access infrastructure to the public. Design of such networks involve several important goals including resilience to f...
Chun-cheng Chen, Chandra Chekuri, D. Klabjan
PKDD
2009
Springer
124views Data Mining» more  PKDD 2009»
15 years 11 months ago
Capacity Control for Partially Ordered Feature Sets
Abstract. Partially ordered feature sets appear naturally in many classification settings with structured input instances, for example, when the data instances are graphs and a fe...
Ulrich Rückert
WCRE
2008
IEEE
15 years 10 months ago
Reverse Engineering CAPTCHAs
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
Abram Hindle, Michael W. Godfrey, Richard C. Holt