1888 search results - page 209 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
151
click to vote
PDP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
125
click to vote
MKWI
2008
15 years 5 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
139
click to vote
WPES
2005
ACM
15 years 9 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
155
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
163
click to vote
ASWSD
2006
Springer
15 years 8 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...