525 search results - page 28 / 105 » Using Checkable Types in Automatic Protocol Analysis |
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
A software tool for analyzing Diffusion Tensor MRI (DT-MRI) data is presented. The tool includes methods for segmentation of white matter for automatic definition of seed points fo...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
—The focus of this paper is an information-theoretic study of retransmission protocols for reliable packet communication under a secrecy constraint. The hybrid automatic retransm...
DSN
2007
IEEE
14 years 2 months ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...
TPDS
2008
13 years 7 months ago
2008
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...