525 search results - page 55 / 105 » Using Checkable Types in Automatic Protocol Analysis |
115
Voted
SCN
2010
Springer
15 years 17 days 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
15 years 7 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 ...
134
Voted
RTAS
2008
IEEE
15 years 8 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...
109
click to vote
KES
2008
Springer
15 years 2 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 ...
112
Voted
ICDAR
2003
IEEE
15 years 7 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...