3441 search results - page 189 / 689 » Parallel Logic Programming Systems |
128
click to vote
JUCS
2006
15 years 3 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
127
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
127
click to vote
JLP
2007
15 years 2 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
114
click to vote
CLIMA
2007
15 years 4 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
145
click to vote
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...