Sciweavers

4795 search results - page 586 / 959
» The Message Classification Model
Sort
View
HOTI
2008
IEEE
16 years 1 months ago
A Network Fabric for Scalable Multiprocessor Systems
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
Nitin Godiwala, Jud Leonard, Matthew Reilly
ICC
2008
IEEE
117views Communications» more  ICC 2008»
16 years 1 months ago
A New Achievable Rate Region for the Cognitive Radio Channel
Abstract— The cognitive radio channel (CRC) refers to a communication model in which two senders attempt to communicate with their respective receivers simultaneously through a c...
Jinhua Jiang, Yan Xin
ICC
2008
IEEE
151views Communications» more  ICC 2008»
16 years 1 months ago
Hop-by-Hop Local Flow Control over InterPlaNetary Networks Based on DTN Architecture
—Deep space communications are an important research line in scientific community. The possibility of performing the communication between earth and other planets is an excitant ...
Floriano De Rango, Mauro Tropea, Giovanni Battista...
IEEESCC
2008
IEEE
16 years 1 months ago
Byzantine Fault Tolerant Coordination for Web Services Business Activities
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
Wenbing Zhao, Honglei Zhang
CSFW
2007
IEEE
16 years 1 months ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet