Sciweavers

3011 search results - page 264 / 603
» Generating XML Based Specifications of Information Systems
Sort
View
194
Voted
BMCBI
2010
277views more  BMCBI 2010»
15 years 3 months ago
PCA2GO: a new multivariate statistics based method to identify highly expressed GO-Terms
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...
Marc Bruckskotten, Mario Looso, Franz Cemic, Anne ...
ENTCS
2010
99views more  ENTCS 2010»
15 years 3 months ago
State Based Robustness Testing for Components
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
EXPDB
2006
ACM
15 years 9 months ago
Pushing XPath Accelerator to its Limits
Two competing encoding concepts are known to scale well with growing amounts of XML data: XPath Accelerator encoding implemented by MonetDB for in-memory documents and X-Hive’s ...
Christian Grün, Alexander Holupirek, Marc Kra...
144
Voted
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 7 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
130
Voted
CERA
2007
105views more  CERA 2007»
15 years 3 months ago
CAD/CAPP Integration using Feature Ontology
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
Christel Dartigues, Parisa Ghodous, Michael Grunin...