12050 search results - page 1856 / 2410 » Modeling and Simulation |
185
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
178
click to vote
CORR
2010
Springer
2010
Springer
Binary is Good: A Binary Inference Framework for Primary User Separation in Cognitive Radio Networks
15 years 3 months ago
Primary users (PU) separation concerns with the issues of distinguishing and characterizing primary users in cognitive radio (CR) networks. We argue the need for PU separation in t...
256
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- Time-delays typically cause stability and performance problems in teleoperation systems. As a remedy for such problems in position-error based bilateral teleoperations, ...
182
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We consider a network composed of two interfering point-to-point links where the two transmitters can exploit one common relay node to improve their individual transmission rate. ...
222
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Abstract—We consider a certain class of large random matrices, composed of independent column vectors with zero mean and different covariance matrices, and derive asymptotically ...