2813 search results - page 4 / 563 » Formalizing Architectural Connection |
80
Voted
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
103
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
120
Voted
IHIS
2005
ACM
15 years 7 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
123
Voted
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
DAC
1997
ACM
15 years 6 months ago
1997
ACM
