4386 search results - page 513 / 878 » A Tamper-Resistant Programming Language System |
265
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
143
Voted
LCTRTS
2009
Springer
15 years 11 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
171
click to vote
ASPLOS
2012
ACM
14 years 9 days ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
243
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
122
Voted
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...