4795 search results - page 627 / 959 » The Message Classification Model |
212
click to vote
AC
2000
Springer
15 years 11 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
178
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
191
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
201
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
In an oblivious transfer (OT) protocol, a Sender with messages M1, . . . , MN and a Receiver with indices 1, . . . , k [1, N] interact in such a way that at the end the Receiver ...
207
click to vote
WSC
1998
15 years 8 months ago
1998
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...