1529 search results - page 210 / 306 » A Taxonomy of Software Component Models |
188
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
153
Voted
ENTCS
2006
15 years 5 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
159
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
154
click to vote
DOLAP
2004
ACM
15 years 11 months ago
2004
ACM
During the few last years, several approaches have been proposed to model different aspects of a Data Warehouse (DW), such as the conceptual model of the DW, the design of the ET...
165
click to vote
ECRTS
2002
IEEE
15 years 10 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...