4386 search results - page 267 / 878 » A Tamper-Resistant Programming Language System |
148
click to vote
PROMAS
2005
Springer
15 years 8 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
112
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
207
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
147
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
106
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...