1537 search results - page 213 / 308 » Domain-Specific Software Component Models |
140
click to vote
ENTCS
2006
15 years 4 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...
137
click to vote
CASES
2006
ACM
15 years 10 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...
139
click to vote
DOLAP
2004
ACM
15 years 9 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...
147
click to vote
ECRTS
2002
IEEE
15 years 9 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...
146
click to vote
MOBISYS
2007
ACM
16 years 4 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...