9702 search results - page 1565 / 1941 » Communicating Mobile Processes |
167
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
180
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
155
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
178
click to vote
ISOLA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
168
Voted
PVM
2004
Springer
16 years 2 days ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...