Sciweavers

4087 search results - page 44 / 818
» Sets in Types, Types in Sets
Sort
View
ESORICS
2009
Springer
14 years 9 months ago
Type-Based Analysis of PIN Processing APIs
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
Matteo Centenaro, Riccardo Focardi, Flaminia L. Lu...
AMAST
2004
Springer
14 years 2 months ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
INFOCOM
2003
IEEE
14 years 2 months ago
Computing the Types of the Relationships between Autonomous Systems
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
Giuseppe Di Battista, Maurizio Patrignani, Maurizi...
CRV
2008
IEEE
142views Robotics» more  CRV 2008»
13 years 10 months ago
Invariant Classification of Gait Types
This paper presents a method of classifying human gait in an invariant manner based on silhouette comparison. A database of artificially generated silhouettes is created represent...
Preben Fihl, Thomas B. Moeslund
ENGL
2006
111views more  ENGL 2006»
13 years 8 months ago
Voice Recognition with Neural Networks, Type-2 Fuzzy Logic and Genetic Algorithms
We describe in this paper the use of neural networks, fuzzy logic and genetic algorithms for voice recognition. In particular, we consider the case of speaker recognition by analyz...
Patricia Melin, Jérica Urías, Daniel...