Sciweavers

495 search results - page 37 / 99
» An Approach to Integration Testing Based on Data Flow Specif...
Sort
View
JCB
2006
185views more  JCB 2006»
15 years 4 months ago
A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...
ICCTA
2007
IEEE
15 years 8 months ago
Register Sharing Verification During Data-Path Synthesis
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sa...
CIBB
2008
15 years 6 months ago
Unsupervised Stability-Based Ensembles to Discover Reliable Structures in Complex Bio-molecular Data
The assessment of the reliability of clusters discovered in bio-molecular data is a central issue in several bioinformatics problems. Several methods based on the concept of stabil...
Alberto Bertoni, Giorgio Valentini
WSC
2007
15 years 6 months ago
Distributed simulation for interoperability testing along the supply chain
The need for interoperability of information systems among supply chain partners has been recognized. A number of standards have been or are being developed to ensure interoperabi...
Sanjay Jain, Frank Riddick, Andreas Craens, Deogra...
ECOWS
2009
Springer
15 years 7 months ago
Run-time Verification of Behavioural Conformance for Conversational Web Services
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
Dimitris Dranidis, Ervin Ramollari, Dimitrios Kour...