Sciweavers

4276 search results - page 111 / 856
» Techniques for Empirical Validation
Sort
View
MOBIHOC
2010
ACM
15 years 4 months ago
Globs in the primordial soup: the emergence of connected crowds in mobile wireless networks
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
Simon Heimlicher, Kavé Salamatian
ATAL
2011
Springer
14 years 6 months ago
Online anomaly detection in unmanned vehicles
Autonomy requires robustness. The use of unmanned (autonomous) vehicles is appealing for tasks which are dangerous or dull. However, increased reliance on autonomous robots increa...
Eliahu Khalastchi, Gal A. Kaminka, Meir Kalech, Ra...
WWW
2007
ACM
16 years 7 months ago
On ranking techniques for desktop search
This paper addresses the desktop search problem by considering various techniques for ranking results of a search query over the file system. First, basic ranking techniques, whic...
Sara Cohen, Carmel Domshlak, Naama Zwerdling
WWW
2005
ACM
16 years 7 months ago
Data versioning techniques for internet transaction management
An Internet transaction is a transaction that involves communication over the Internet using standard Internet protocols such as HTTPS. Such transactions are widely used in Intern...
Ramkrishna Chatterjee, Gopalan Arun
ICSE
2007
IEEE-ACM
16 years 6 months ago
A Technique for Enabling and Supporting Debugging of Field Failures
It is difficult to fully assess the quality of software inhouse, outside the actual time and context in which it will execute after deployment. As a result, it is common for softw...
James A. Clause, Alessandro Orso