2813 search results - page 4 / 563 » Formalizing Architectural Connection |
TPHOL
2009
IEEE
14 years 26 days ago
2009
IEEE
ISOLA
2010
Springer
13 years 4 months ago
2010
Springer
IHIS
2005
ACM
13 years 11 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...
EMSOFT
2010
Springer
13 years 4 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
13 years 10 months ago
1997
ACM
