5536 search results - page 735 / 1108 » Programming Languages for Distributed Applications |
154
click to vote
CSFW
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
169
click to vote
JOLLI
2002
15 years 6 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
193
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
145
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe Spectra, a remote execution system for batterypowered clients used in pervasive computing. Spectra enables applications to combine the mobility of small devices with t...
205
click to vote
ASPLOS
2004
ACM
16 years 9 days ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...