295 search results - page 49 / 59 » Approximating the Expressive Power of Logics in Finite Model... |
PE
2002
Springer
14 years 9 months ago
2002
Springer
The study presented in this paper is motivated by the performance analysis of response times in distributed information systems, where transactions are handled by iterative server...
DAGSTUHL
1998
14 years 11 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM symbol error rate (SER) of Alamouti space time coded OFDM direct conversion receivers subject to carrier fr...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— In this paper we present an analytical approach to evaluate the symbol error rate (SER) of OFDM systems subject to carrier frequency offset (CFO) and channel estimation error i...
JCS
2011
14 years 4 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...