Sciweavers

10715 search results - page 232 / 2143
» Proofs from Tests
Sort
View
ICDE
2008
IEEE
129views Database» more  ICDE 2008»
16 years 1 months ago
Testing mobile agent platforms over the air
— Mobile agents are considered a suitable technology to develop applications for wireless environments with limited communication capabilities. Thus, they offer interesting advan...
Oscar Urra, Sergio Ilarri, Eduardo Mena
DSN
2007
IEEE
16 years 1 months ago
Robustness Testing of the Windows DDK
Modern computers interact with many kinds of external devices, which have lead to a state where device drivers (DD) account for a substantial part of the operating system (OS) cod...
Manuel Mendonça, Nuno Neves
UM
2007
Springer
16 years 23 days ago
Evaluating a Simulated Student Using Real Students Data for Training and Testing
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
Noboru Matsuda, William W. Cohen, Jonathan Sewall,...
139
Voted
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
16 years 21 days ago
Assessing User Satisfaction of E-Government Services: Development and Testing of Quality-in-Use Satisfaction with Advanced Trave
The public sector provides a variety of services to citizens. The delivery of information for these services over electronic means such as the Internet forms an important componen...
Thomas A. Horan, Tarun Abhichandani, Raghuvira Ray...
HICSS
2003
IEEE
118views Biometrics» more  HICSS 2003»
15 years 12 months ago
On-Line Intrusion Detection and Attack Prevention Using Diversity, Generate-and-Test, and Generalization
We have built a system for protecting Internet services to securely connected, known users. It implements a generate-and-test approach for on-line attack identification and uses s...
James C. Reynolds, James E. Just, Larry A. Clough,...