Sciweavers

795 search results - page 37 / 159
» A Formal Approach to Heterogeneous Software Modeling
Sort
View
81
Voted
EUROMICRO
1997
IEEE
15 years 4 months ago
HPO: a programming environment for object-oriented metacomputing
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
Antonio Corradi, Letizia Leonardi, Franco Zambonel...
CASES
2006
ACM
15 years 4 months ago
Efficient architectures through application clustering and architectural heterogeneity
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
Lukasz Strozek, David Brooks
120
Voted
ICFEM
2010
Springer
14 years 11 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...
127
Voted
APSEC
2001
IEEE
15 years 4 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
125
Voted
TSE
2010
155views more  TSE 2010»
14 years 10 months ago
A Comparison of Six UML-Based Languages for Software Process Modeling
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
Reda Bendraou, Jean-Marc Jézéquel, M...