Sciweavers

7766 search results - page 256 / 1554
» Testing Nondeterminate Systems
Sort
View
AH
2008
Springer
16 years 28 days ago
Guaranteeing the Correctness of an Adaptive Tutoring System
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
Pilar Prieto Linillos, Sergio Gutiérrez San...
QSIC
2007
IEEE
16 years 26 days ago
A Scriptable, Statistical Oracle for a Metadata Extraction System
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf...
ETFA
2005
IEEE
16 years 6 days ago
Dynamic guarantee in component-based distributed real-time systems
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
Cássia Yuri Tatibana, Rômulo Silva de...
LREC
2008
95views Education» more  LREC 2008»
15 years 8 months ago
Evaluating Summaries Automatically - A system Proposal
We propose in this paper an automatic evaluation procedure based on a metric which could provide summary evaluation without human assistance. Our system includes two metrics, whic...
Paulo C. F. de Oliveira, Edson Wilson Torrens, Ale...
SIGCSE
2008
ACM
169views Education» more  SIGCSE 2008»
15 years 6 months ago
APOGEE: automated project grading and instant feedback system for web based computing
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, ...