Sciweavers

260 search results - page 32 / 52
» Future of developer testing: building quality in code
Sort
View
WISE
2007
Springer
14 years 1 months ago
Learning Management System Based on SCORM, Agents and Mining
Based on SCORM sequencing and navigation specifications, a learning management system has been developed. The system has intelligent tutoring system capabilities that allow content...
Carlos Cobos, Miguel Niño, Martha Mendoza, ...
SEMWEB
2005
Springer
14 years 1 months ago
Gnowsis Adapter Framework: Treating Structured Data Sources as Virtual RDF Graphs
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
Leo Sauermann, Sven Schwarz
JILP
2000
165views more  JILP 2000»
13 years 7 months ago
BMAT - A Binary Matching Tool for Stale Profile Propagation
A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. A large program, especially a GUI-based a...
Zheng Wang, Ken Pierce, Scott McFarling
FAC
2006
122views more  FAC 2006»
13 years 7 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
GVD
2004
111views Database» more  GVD 2004»
13 years 9 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg