Now showing items 1-10 of 36
Formality, Agility, Security and Evolution in Software Development
Combining formal and agile techniques in software development has the potential to minimize change-related problems.
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 ...
An Observation Model to Detect Security Violations in Web Services Environment
Growing violation activity makes monitoring of information technology resource systems day by day necessity. As a matter of importance, the popularity of surveillance systems increases with its associated systems. The ...
Rough set approach to online signature identification.
Biometric-based authentication system using rough set theory.