4386 search results - page 443 / 878 » A Tamper-Resistant Programming Language System |
136
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
140
click to vote
INFORMATICALT
2002
15 years 4 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
158
click to vote
IDEAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
151
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
134
click to vote
TROB
2002
15 years 4 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...