Sciweavers

11129 search results - page 1778 / 2226
» Modeling Search Computing Applications
Sort
View
ICNP
1998
IEEE
15 years 11 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
MICCAI
1998
Springer
15 years 11 months ago
Multi-modal Volume Registration Using Joint Intensity Distributions
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
Michael E. Leventon, W. Eric L. Grimson
IPPS
1997
IEEE
15 years 11 months ago
Nearly Optimal One-To-Many Parallel Routing in Star Networks
Star networks were proposedrecently as an attractive alternative to the well-known hypercube models for interconnection networks. Extensive research has been performed that shows ...
Chi-Chang Chen, Jianer Chen
NDSS
1997
IEEE
15 years 11 months ago
Hierarchical Organization of Certification Authorities for Secure Environments
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...
Lourdes López Santidrián, Justo Carr...
IPPS
1996
IEEE
15 years 11 months ago
Dag-Consistent Distributed Shared Memory
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
Robert D. Blumofe, Matteo Frigo, Christopher F. Jo...
« Prev « First page 1778 / 2226 Last » Next »