4386 search results - page 113 / 878 » A Tamper-Resistant Programming Language System |
119
click to vote
CCS
2003
ACM
15 years 6 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
115
Voted
ASPLOS
2008
ACM
15 years 3 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...
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...