Sciweavers

3693 search results - page 157 / 739
» User experience over time
Sort
View
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
14 years 3 months ago
jETI: A Tool for Remote Tool Integration
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
Tiziana Margaria, Ralf Nagel, Bernhard Steffen
WEBI
2010
Springer
13 years 7 months ago
Incorporating Seasonality into Search Suggestions Derived from Intranet Query Logs
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...
Stephen Dignum, Udo Kruschwitz, Maria Fasli, Yunhy...
CAV
2012
Springer
251views Hardware» more  CAV 2012»
12 years 1 days ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
ADCS
2004
13 years 11 months ago
Novel Group Awareness Mechanisms for Real-Time Collaborative Document Authoring
Group awareness has become important in improving the usability of real-time, distributed, collaborative writing systems. However, the current set of implemented awareness mechanis...
Gitesh K. Raikundalia, Hao Lan Zhang
RIAO
2000
13 years 11 months ago
Prosody Rule for Time Structure of Finger Braille
Finger braille is one of the communication methods for the deaf blind. The fingers of the deaf blind are regarded as keys of a brailler. Finger braille seems to be the most suited...
Manabi Miyagi, Yuji Fujimori, Yasuo Horiuchi, Akir...