Sciweavers

2021 search results - page 167 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
ISF
2007
105views more  ISF 2007»
15 years 6 months ago
COSMO: A conceptual framework for service modelling and refinement
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
Dick A. C. Quartel, Maarten W. A. Steen, Stanislav...
DSD
2006
IEEE
110views Hardware» more  DSD 2006»
16 years 6 days ago
A Flexible, Syntax Independent Representation (SIR) for System Level Design Models
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
Ines Viskic, Rainer Dömer
167
Voted
BMAS
2000
IEEE
15 years 10 months ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
HASE
2007
IEEE
15 years 8 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
160
Voted
CC
2010
Springer
172views System Software» more  CC 2010»
16 years 29 days ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...