Sciweavers

647 search results - page 79 / 130
» Reliability Analysis of Grid Computing Systems
Sort
View
146
Voted
ESEC
1997
Springer
15 years 6 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
106
Voted
ICPR
2006
IEEE
16 years 3 months ago
Precision-recall operating characteristic (P-ROC) curves in imprecise environments
Traditionally, machine learning algorithms have been evaluated in applications where assumptions can be reliably made about class priors and/or misclassification costs. In this pa...
Thomas Landgrebe, Pavel Paclík, Robert P. W...
111
Voted
SAC
2010
ACM
15 years 9 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
137
Voted
CVPR
2012
IEEE
13 years 5 months ago
Parameterizing interpersonal behaviour with Laban movement analysis - A Bayesian approach
—In this paper we propose a probabilistic model to parameterize human interactive behaviour from human motion. To Support the model taxonomy, we use Laban Movement Analysis (LMA)...
Kamrad Khoshhal Roudposhti, Luís Santos, Ha...
144
Voted
CCGRID
2005
IEEE
15 years 4 months ago
A semantic grid-based data access and integration service for bioinformatics
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, S...