Exception handling patterns can raise the abstraction level of processes, facilitating their writing and understanding. In this paper, we identify several useful, general purpose e...
Barbara Staudt Lerner, Stefan Christov, Alexander ...
This paper introduces SmartPad, a new input device for mobile computers that is an enhanced physical keypad by a finger position sensor. This input device acts as a normal keypad ...
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
There is an extensive literature on data mining techniques, including several applications of these techniques in the e-commerce setting. However, all previous approaches require t...
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...