Sciweavers

10396 search results - page 1656 / 2080
» Testing Web Applications
Sort
View
ENTCS
2002
145views more  ENTCS 2002»
15 years 6 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
IR
2000
15 years 6 months ago
Automating the Construction of Internet Portals with Machine Learning
Domain-specific internet portals are growing in popularity because they gather content from the Web and organize it for easy access, retrieval and search. For example, www.campsear...
Andrew McCallum, Kamal Nigam, Jason Rennie, Kristi...
CORR
1999
Springer
93views Education» more  CORR 1999»
15 years 6 months ago
Empirically Evaluating an Adaptable Spoken Dialogue System
Abstract. Recent technological advances have made it possible to build real-time, interactive spoken dialogue systems for a wide variety of applications. However, when users do not...
Diane J. Litman, Shimei Pan
JSS
1998
139views more  JSS 1998»
15 years 6 months ago
Human-computer interaction: Interdisciplinary roots and trends
Methodology, theory, and practice in the ®eld of Human±Computer Interaction (HCI) all share the goal of producing interactive software that can be used eciently, e€ectively, ...
H. Rex Hartson
TJS
2002
135views more  TJS 2002»
15 years 6 months ago
HPCVIEW: A Tool for Top-down Analysis of Node Performance
Although it is increasingly difficult for large scientific programs to attain a significant fraction of peak performance on systems based on microprocessors with substantial instr...
John M. Mellor-Crummey, Robert J. Fowler, Gabriel ...
« Prev « First page 1656 / 2080 Last » Next »