Sciweavers

23413 search results - page 333 / 4683
» or 2005
Sort
View
ICFEM
2005
Springer
16 years 5 days ago
An Abstract Model for Process Mediation
Michael Altenhofen, Egon Börger, Jens Lemcke
ICFEM
2005
Springer
16 years 5 days ago
An Improved Rule for While Loops in Deductive Program Verification
Bernhard Beckert, Steffen Schlager, Peter H. Schmi...
ICIAR
2005
Springer
16 years 5 days ago
Efficient Face and Facial Feature Tracking Using Search Region Estimation
Cem Direkoglu, Hasan Demirel, Hüseyin Öz...
ICICS
2005
Springer
16 years 5 days ago
On the Security of Encryption Modes of MD4, MD5 and HAVAL
Jongsung Kim, Alex Biryukov, Bart Preneel, Sangjin...
ICICS
2005
Springer
16 years 5 days ago
On Delegatability of Four Designated Verifier Signatures
Yong Li 0002, Helger Lipmaa, Dingyi Pei