48 search results - page 10 / 10 » acs 2005 |
RTA
2005
Springer
13 years 10 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
EUROPKI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
PCM
2004
Springer
13 years 10 months ago
2004
Springer
We present an audio-assisted video browsing system for a Hard Disk Drive (HDD) enhanced DVD recorder. We focus on our sports highlights extraction based on audio classification. ...