525 search results - page 55 / 105 » Using Checkable Types in Automatic Protocol Analysis |
SCN
2010
Springer
13 years 7 months ago
2010
Springer
An identity-based encryption (IBE) scheme can greatly reduce the complexity of sending encrypted messages. However, an IBE scheme necessarily requires a private-key generator (PKG)...
FSMNLP
2005
Springer
14 years 2 months ago
2005
Springer
Compounding is a very productive process in German to form complex nouns and adjectives which represent about 7% of the words of a newspaper text. Unlike English, German compounds ...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
KES
2008
Springer
13 years 9 months ago
2008
Springer
Epilepsy is one of the most frequent neurological disorders. The main method used in epilepsy diagnosis is electroencephalogram (EEG) signal analysis. However this method requires ...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose an HMM-based text-indicated writer verification method, which is based on a challenge and response type of authentication process. In this method, a different text incl...