Sciweavers

1034 search results - page 110 / 207
» Cooperative work in software testing
Sort
View
IVEVA
2004
14 years 11 months ago
Using Hardware-based Voice Recognition to Interact with a Virtual Environment
This paper presents ongoing research on human-computer interaction in virtual environments using voice recognition systems. The paper starts describing voice recognition technologi...
Miguel A. Garcia-Ruiz, Cesar R. Bustos-Mendoza
ERCIMDL
2000
Springer
185views Education» more  ERCIMDL 2000»
15 years 1 months ago
CORC: Helping Libraries Take a Leading Role in the Digital Age
The OCLC Cooperative Online Resource Catalog is helping librarians thrive in the digital age. Librarians are using CORC to select, describe, maintain, and provide guided access to ...
Kay Covert
79
Voted
SIGSOFT
2004
ACM
15 years 3 months ago
Resolving uncertainties during trace analysis
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
Alexander Egyed
KBSE
2006
IEEE
15 years 4 months ago
Accurate Centralization for Applying Model Checking on Networked Applications
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Cyrille Artho, Pierre-Loïc Garoche
SCHULE
2007
Springer
15 years 4 months ago
Exploratory Learning
: In our department we have a long history of developing interfaces for learning, which are framed by constructivist and constructionist theories of learning. Thus we try to create...
Ivan Kalas, D. Lehotska