981 search results - page 79 / 197 » Symbolic pointer analysis |
DAC
2010
ACM
14 years 26 days ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
-This paper addresses the problem of performance analysis for maximum likelihood (ML) detection in two-input multiple-output multiplexing systems. A novel analytical method is pres...
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—This paper analyzes the performance of multipleinput multiple-output (MIMO) systems with transmit and receive antenna selection (T-RAS). The average bit error rate (BER)...