Sciweavers

195 search results - page 39 / 39
» An Automatic Test Case Generator Derived from State-Based Te...
Sort
View
ECIS
2000
13 years 6 months ago
Metadata-Based Integration of Qualitative and Quantitative Information Resources Approaching Knowledge Management
This paper presents a concept for the integration of quantitative and qualitative information sources with their accompanying management support functionalities from navigation and...
Bodo Rieger, Anja Kleber, Eitel von Maur
ANOR
2008
69views more  ANOR 2008»
13 years 5 months ago
Scheduling vessels and container-yard operations with conflicting objectives
Abstract We consider the problem of coordinating the operations of two supply chain partners: a foreign shipping company and a domestic port. The two partners have conflicting busi...
Endre Boros, Lei Lei, Yao Zhao, Hua Zhong
BMCBI
2004
150views more  BMCBI 2004»
13 years 5 months ago
Rank Difference Analysis of Microarrays (RDAM), a novel approach to statistical analysis of microarray expression profiling data
Background: A key step in the analysis of microarray expression profiling data is the identification of genes that display statistically significant changes in expression signals ...
Dietmar E. Martin, Philippe Demougin, Michael N. H...
PLDI
2011
ACM
12 years 8 months ago
Automated atomicity-violation fixing
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 1 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer