801 search results - page 53 / 161 » Robust Nonproprietary Software |
136
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
163
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
149
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
181
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...
194
click to vote
DICS
2006
15 years 8 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...