4386 search results - page 88 / 878 » A Tamper-Resistant Programming Language System |
149
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
221
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
137
click to vote
SASO
2008
IEEE
15 years 8 months ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
143
click to vote
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
108
click to vote
LISP
2002
15 years 1 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...