5536 search results - page 339 / 1108 » Programming Languages for Distributed Applications |
177
click to vote
PLDI
2004
ACM
16 years 4 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
298
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
179
click to vote
ICAC
2006
IEEE
16 years 23 days ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
182
click to vote
IJPP
2011
15 years 1 months ago
2011
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
152
click to vote
CCS
2004
ACM
16 years 3 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...