Sciweavers

5334 search results - page 498 / 1067
» Communicating quantum processes
Sort
View
ENTCS
2007
105views more  ENTCS 2007»
15 years 7 months ago
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
Srecko Brlek, Sardaouna Hamadou, John Mullins
IJSEKE
2007
52views more  IJSEKE 2007»
15 years 7 months ago
Software Architecture Decomposition Using Attributes
Software architectural design has an enormous effect on downstream software artifacts. Decomposition of functions for the final system is one of the critical steps in software arch...
Chung-Horng Lung, Xia Xu, Marzia Zaman
ISCI
2007
117views more  ISCI 2007»
15 years 7 months ago
Cognitive high level information fusion
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
Leonid I. Perlovsky
TIT
2008
110views more  TIT 2008»
15 years 7 months ago
Optimal Cross-Layer Scheduling of Transmissions Over a Fading Multiaccess Channel
We consider the problem of several users transmitting packets to a base station, and study an optimal scheduling formulation involving three communication layers, namely, the mediu...
Munish Goyal, Anurag Kumar, Vinod Sharma
TNN
2008
98views more  TNN 2008»
15 years 7 months ago
Symmetric RBF Classifier for Nonlinear Detection in Multiple-Antenna-Aided Systems
In this paper, we propose a powerful symmetric radial basis function (RBF) classifier for nonlinear detection in the so-called "overloaded" multiple-antenna-aided communi...
Sheng Chen, Andreas Wolfgang, Chris J. Harris, Laj...