Sciweavers

2007 search results - page 99 / 402
» MUC-3 evaluation metrics
Sort
View
ICDE
2008
IEEE
116views Database» more  ICDE 2008»
14 years 10 months ago
Network-Aware Join Processing in Global-Scale Database Federations
Abstract-- We introduce join scheduling algorithms that employ a balanced network utilization metric to optimize the use of all network paths in a global-scale database federation....
Xiaodan Wang, Randal C. Burns, Andreas Terzis, Amo...
ICST
2009
IEEE
14 years 3 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
ISI
2007
Springer
14 years 3 months ago
A Combinatorial Approach to Measuring Anonymity
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...
Matthew Edman, Fikret Sivrikaya, Bülent Yener
ASPDAC
2006
ACM
113views Hardware» more  ASPDAC 2006»
14 years 2 months ago
Transition-based coverage estimation for symbolic model checking
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Take...
ICMCS
2005
IEEE
98views Multimedia» more  ICMCS 2005»
14 years 2 months ago
Performance Studio of Multicast Video Streaming Using SRMSH
With the increasing deployment of multimedia real-time Internet applications, evaluating transport protocol metrics of Quality of Service (QoS) has gained rapidly increasing impor...
Oscar Martínez Bonastre, C. P. Salvador