4386 search results - page 108 / 878 » A Tamper-Resistant Programming Language System |
123
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
121
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
113
click to vote
JCS
2007
15 years 1 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
143
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
72
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...