3441 search results - page 138 / 689 » Parallel Logic Programming Systems |
124
Voted
SEFM
2009
IEEE
15 years 9 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
104
click to vote
HPDC
1993
IEEE
15 years 6 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
135
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
218
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
130
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...