1094 search results - page 171 / 219 » List signature schemes |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Object-oriented modeling has become the de-facto standard in the early phases of a software development process during the last decade. The current state-of-the-art is dominated b...
ADCS
2004
13 years 9 months ago
2004
Traditional information retrieval (IR) systems respond to user queries with ranked lists of relevant documents. The separation of content and structure in XML documents allows indi...
ICVGIP
2004
13 years 9 months ago
2004
Recent advances in computing machines and the availability of inexpensive vision sensors have paved the way for development of real-time imaging systems. Smart systems with a sing...
IJCAI
2003
13 years 9 months ago
2003
Hyperlink analysis is a successful approach to define algorithms which compute the relevance of a document on the basis of the citation graph. In this paper we propose a technique...
JCS
2006
13 years 7 months ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...