Sciweavers

731 search results - page 76 / 147
» Specification Matching of Software Components
Sort
View
BMCBI
2007
246views more  BMCBI 2007»
14 years 11 months ago
TomoJ: tomography software for three-dimensional reconstruction in transmission electron microscopy
Background: Transmission electron tomography is an increasingly common three-dimensional electron microscopy approach that can provide new insights into the structure of subcellul...
Cédric Messaoudi, Thomas Boudier, Carlos Os...
DAGSTUHL
2006
15 years 27 days ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
98
Voted
DAC
2003
ACM
16 years 14 days ago
Automated synthesis of efficient binary decoders for retargetable software toolkits
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
Wei Qin, Sharad Malik
BMCBI
2010
114views more  BMCBI 2010»
14 years 11 months ago
Detecting variants with Metabolic Design, a new software tool to design probes for explorative functional DNA microarray develop
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
Sébastien Terrat, Eric Peyretaillade, Olivi...
OMER
2001
15 years 26 days ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel