Titlebook: Dependable and Historic Computing; Essays Dedicated to Cliff B. Jones,John L. Lloyd Book 2011 Springer-Verlag GmbH Berlin Heidelberg 2011

催眠

Affiliation

https://doi.org/10.1007/978-3-211-99419-1We give a semantics for Brian Randell’s recovery blocks, and show how they can be proved correct. The formalisation is expressed wholly in propositional logic.

委托

半球

On Building a Referee’s AvatarThis paper discusses work in progress aimed at creating a “referee’s avatar” that can provide assistance in the evaluation of the content and originality of scientific and technical natural language texts. The first step towards this goal is the systematic classification of text faults.

拖网

intrude

CHARM

羊齿

莎草

https://doi.org/10.1007/978-3-642-79582-4se has expanded or scaled as application programmers have come to rely on it. This reliance is based on atomicity’s ability to make concurrent systems understandable and applications much simpler to program. Atomicity has multiple origins, but it can be fairly said that Brian Randell’s Reliability P

惰性气体

Systematisches Risikomanagementhift is made from a technocentric view to a user-centred approach that identifies four main threads which underpin traditional accounts. A map of how these combine to inform the accepted canon is offered. Entwined with the account are the contributions made by Brian Randell to the history of computi