222 search results - page 13 / 45 » Efficient assertion based verification using TLM |
126
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
109
click to vote
ICISC
2004
15 years 1 months ago
2004
An identity (ID)-based signature scheme allows any pair of users to verify each other's signatures without exchanging public key certificates. With the advent of Bilinear maps...
101
click to vote
FLAIRS
2001
15 years 1 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
105
click to vote
ICB
2009
Springer
14 years 9 months ago
2009
Springer
We present in this communication a new biometric system based on the use of hand veins acquired by an infrared imager. After the preprocessing stage and binarization, the vein imag...
113
click to vote
PR
2010
14 years 10 months ago
2010
Biometric based personal authentication is an effective method for automatically recognizing, with a high confidence, a person’s identity. By observing that the texture pattern p...