Sciweavers

1537 search results - page 153 / 308
» Domain-Specific Software Component Models
Sort
View
ECOOPW
1994
Springer
15 years 8 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler
BMCBI
2010
114views more  BMCBI 2010»
15 years 4 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...
130
Voted
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
109
Voted
IASTEDSEA
2004
15 years 6 months ago
A component-based reference model for web-based systems
Short time-to-market is an important requirement for developing web-based systems. Software architecture plays a critical role for time-to-market objective to be satisfied since i...
Jianyun Zhou, Tor Stålhane
GPCE
2007
Springer
15 years 10 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba