795 search results - page 123 / 159 » A Formal Approach to Heterogeneous Software Modeling |
97
Voted
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
117
Voted
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
135
click to vote
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
112
click to vote
ATAL
2011
Springer
14 years 12 days ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
119
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...