6031 search results - page 801 / 1207 » Communicating Transaction Processes |
165
click to vote
IFIP
2004
Springer
16 years 2 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...
179
click to vote
IFIP
2004
Springer
16 years 2 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...
154
click to vote
IFIP
2004
Springer
16 years 2 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 2 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...
141
click to vote
MATA
2004
Springer
16 years 2 days ago
2004
Springer
This project focuses on the implementation of a framework for mobile agents support within a grid environment project, namely InteGrade. Our goal is to present a framework where ti...