Sciweavers

9028 search results - page 1762 / 1806
» Human-Computer Interaction Experiments
Sort
View
KDD
2005
ACM
178views Data Mining» more  KDD 2005»
15 years 6 months ago
Failure detection and localization in component based systems by online tracking
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...
Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Ke...
TMRA
2005
Springer
15 years 6 months ago
Collaborative Software Development and Topic Maps
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
Markus Ueberall, Oswald Drobnik
101
Voted
VSTTE
2005
Springer
15 years 6 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...
102
Voted
ICADL
2005
Springer
137views Education» more  ICADL 2005»
15 years 6 months ago
A Collaborative Filtering Based Re-ranking Strategy for Search in Digital Libraries
Users of a digital book library system typically interact with the system to search for books by querying on the metadata describing the books or to search for information in the p...
U. Rohini, Vamshi Ambati
122
Voted
CSCW
2004
ACM
15 years 6 months ago
Lessons from the reMail prototypes
Electronic mail has become the most widely-used application for business productivity and communication, yet many people are frustrated with their email. Though email usage has ch...
Dan Gruen, Steven L. Rohall, Suzanne O. Minassian,...
« Prev « First page 1762 / 1806 Last » Next »