Sciweavers

87 search results - page 17 / 18
» Automatic Generation of Object Usage Specifications from Lar...
Sort
View
SIGCOMM
2012
ACM
11 years 8 months ago
Reduction-based analysis of BGP systems with BGPVerif
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
Anduo Wang, Alexander J. T. Gurney, Xianglong Han,...
INFSOF
2011
176views more  INFSOF 2011»
13 years 1 months ago
Testing in Service Oriented Architectures with dynamic binding: A mapping study
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
Marcos Palacios, José García-Fanjul,...
BMCBI
2006
137views more  BMCBI 2006»
13 years 6 months ago
GOPET: A tool for automated predictions of Gene Ontology terms
Background: Vast progress in sequencing projects has called for annotation on a large scale. A Number of methods have been developed to address this challenging task. These method...
Arunachalam Vinayagam, Coral del Val, Falk Schuber...
BMCBI
2004
177views more  BMCBI 2004»
13 years 5 months ago
Gapped alignment of protein sequence motifs through Monte Carlo optimization of a hidden Markov model
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...
Andrew F. Neuwald, Jun S. Liu
SIGMOD
2012
ACM
224views Database» more  SIGMOD 2012»
11 years 8 months ago
Tiresias: the database oracle for how-to queries
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
Alexandra Meliou, Dan Suciu