4386 search results - page 586 / 878 » A Tamper-Resistant Programming Language System |
142
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
125
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
131
click to vote
JSS
2008
15 years 4 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
109
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
130
click to vote
SBCCI
2004
ACM
15 years 9 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...