Now showing items 1-10 of 36
Provably Correct Derivation of Algorithms Using FermaT
The transformational programming method of algorithm derivation starts with a formal specification of the result to be achieved, plus some informal ideas as to what techniques will be used in the implementation. The ...
Rough set approach to online signature identification.
Biometric-based authentication system using rough set theory.
Semantic multi-agent mLearning system.
Combining dynamic and static slicing for analysing assembler.
Transformational programming and the derivation of algorithms.