6800 search results - page 798 / 1360 » Testing with Functions as Specifications |
183
click to vote
HICSS
2003
IEEE
16 years 10 days ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
173
click to vote
ICDM
2003
IEEE
16 years 10 days ago
2003
IEEE
Analyzing data to find trends, correlations, and stable patterns is an important problem for many industrial applications. In this paper, we propose a new technique based on paral...
187
click to vote
VR
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper describes the HOMERE system: a multimodal system dedicated to visually impaired people to explore and navigate inside virtual environments. The system addresses three m...
173
click to vote
FPGA
2003
ACM
16 years 7 days ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...
166
click to vote
CHI
2010
ACM
16 years 5 days ago
2010
ACM
Unlike machines, we humans are prone to boredom when we perform routine activities for long periods of time. Workers’ mental engagement in boring tasks diminishes, which eventua...