2813 search results - page 70 / 563 » Formalizing Architectural Connection |
109
click to vote
ISN
1998
Springer
15 years 6 months ago
1998
Springer
Federation in TINA CMA (Connection Management Architecture) provides the mechanisms for cooperation between different interworking network domains possibly owned by different admi...
130
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
97
Voted
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
115
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
143
click to vote
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...