Sciweavers

15635 search results - page 30 / 3127
» A Designing Model of XML-Dataweb
Sort
View
CBSE
2005
Springer
14 years 3 months ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...
FMSD
2006
183views more  FMSD 2006»
13 years 10 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
14 years 1 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
CHI
2005
ACM
13 years 12 months ago
Using an interaction model as a resource for communication in design
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...
Maíra Greco de Paula, Bruno Santana da Silv...
EUROMICRO
2006
IEEE
14 years 3 months ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...