402 search results - page 43 / 81 » Algebraic Properties of Program Integration |
129
click to vote
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
104
Voted
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
164
Voted
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
115
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...
DAGSTUHL
2008
15 years 2 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...