Sciweavers

5604 search results - page 42 / 1121
» Becoming Increasingly Reliable
Sort
View
COLCOM
2009
IEEE
14 years 3 months ago
Still alive: Extending keep-alive intervals in P2P overlay networks
Abstract—Nodes within existing P2P networks typically exchange periodic keep-alive messages in order to maintain network connections between neighbours. This paper investigates a...
Richard Price, Peter Tiño
TC
2010
13 years 9 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
SIGSOFT
2008
ACM
14 years 11 months ago
Automated identification of parameter mismatches in web applications
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....
William G. J. Halfond, Alessandro Orso
ICTAI
2005
IEEE
14 years 4 months ago
A Dynamic Bayesian Network for Handling Uncertainty in a Decision Support System Adapted to the Monitoring of Patients Treated b
Telemedicine is a mean of facilitating the distribution of human resources and professional competences. It can speed up diagnosis and therapeutic care delivery and allow peripher...
Cédric Rose, Cherif Smaili, François...
ICCV
2003
IEEE
14 years 4 months ago
Information Theoretic Focal Length Selection for Real-Time Active 3-D Object Tracking
Active object tracking, for example, in surveillance tasks, becomes more and more important these days. Besides the tracking algorithms themselves methodologies have to be develop...
Joachim Denzler, Matthias Zobel, Heinrich Niemann