12741 search results - page 301 / 2549 » Editorial and call for papers |
164
click to vote
ICANN
1997
Springer
15 years 11 months ago
1997
Springer
In the last few years several researchers within the Artificial Life and Mobile Robotics community used Artificial Neural Networks. Explicitly viewing Neural Networks in an Artific...
163
click to vote
SPW
1997
Springer
15 years 11 months ago
1997
Springer
There are many cases in the literature in which reuse of the same key material for different functions can open up security holes. In this paper, we discuss such interactions betw...
165
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes two approaches to the automatic generation of behavioral VHDL models from descriptions written in natural language. Both approaches are based on a modeling st...
174
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
240
Voted
EUROCRYPT
1993
Springer
15 years 11 months ago
1993
Springer
This work is motivated by the observation that in DES-like ciphexs it is possible to choose the round functions in such a way that every non-trivial one-round characteristic has sm...