878 search results - page 150 / 176 » Interacting Abstract State Machines |
118
click to vote
EUROCRYPT
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...
136
click to vote
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
116
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
136
click to vote
JFP
2010
15 years 2 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
112
click to vote
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract - In this paper, we describe BuildBot, a robotic interface developed to assist with the continuous integration process utilized by agile software development teams. BuildB...