18209 search results - page 205 / 3642 » Some Remarks on the Paper |
131
click to vote
IMA
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we discuss the idea of block cipher embeddings and consider a natural algebraic framework for such constructions. In this approach we regard block cipher state spaces...
150
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
145
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Image sequence processing techniques are essential to study dynamical processes such as exchange, growth, and transport processes. In this survey paper, a generalized framework for...
180
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
This paper discusses how architectural requirements engineering fits into an overall software development process in the concept and definition phases of a project. It defines a r...
149
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, a framework for the analysis of the error-reject trade-off in linearly combined classifiers is proposed. We start from a framework developed by Tumer and Ghosh [1,2...