1026 search results - page 12 / 206 » A Methodology for Equational Reasoning |
CIE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
FM
1999
Springer
13 years 12 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
CSC
2006
13 years 9 months ago
2006
Abstract -- We experimentally examine the performance of preconditioners based on entries of the symmetric positive definite part and small subspace solvers for linear system of eq...
ELP
1993
13 years 11 months ago
1993
Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...