Sciweavers

213 search results - page 21 / 43
» New Message Difference for MD4
Sort
View
ENTCS
2006
103views more  ENTCS 2006»
13 years 8 months ago
Static Equivalence is Harder than Knowledge
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
Johannes Borgström
ITICSE
1997
ACM
14 years 25 days ago
A pedagogical pattern for bringing service into the curriculum via the web
The Web reduces the economic hurdles of publishing a message to a large audience. This paper documents a pedagogical pattern to integrate community service with the curriculum. St...
Carl Erickson, Paul Leidig
HPCN
1997
Springer
14 years 6 days ago
Boolean Function Manipulation on a Parallel System Using BDDs
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
F. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Mat...
DSRT
2008
IEEE
14 years 3 months ago
Interfacing and Coordination for a DEVS Simulation Protocol Standard
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
Khaldoon Al-Zoubi, Gabriel A. Wainer
WWW
2001
ACM
14 years 9 months ago
iMobile: An Agent-Based Platform for Mobile Services
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...
Herman Chung-Hwa Rao, Yih-Farn Chen, Di-Fa Chang, ...