The piecewise-linear approximation technique developed by Juli´an et al. in the past few years is applied to dynamical systems dependent on given numbers of state variables and p...
Hybrid logic nets contain nodes that exhibit recurrent characteristics, in that a node output shows temporal tendencies even when the inputs are constant (Al-Dabass et al. 1999a a...
David Al-Dabass, David J. Evans, Siva Sivayoganath...
Abstract Consumers are increasingly demanding products that closely match their individual preferences, and advances in manufacturing and information technologies have made it poss...
A convertible authenticated encryption scheme allows a specified recipient to recover and verify a message simultaneously. Moreover the recipient can prove the dishonesty of the se...
Abstract. In this paper we present a general framework for passwordbased authenticated key exchange protocols, in the common reference odel. Our protocol is actually an abstraction...