4305 search results - page 667 / 861 » Analysing Protocol Implementations |
139
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
143
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a fast method for locating iris features in frontal face images based on the Hough transform. It consists of an initial iris detection step and a tracking step which us...
155
Voted
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...
155
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
130
click to vote
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...