1894 search results - page 127 / 379 » A TLA Proof System |
173
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
There are many ways to define richness of a discrete time signal. In this paper we consider a particular definition and explore the conditions under which a linear time invarian...
170
click to vote
RIVF
2008
15 years 7 months ago
2008
In this work we present the principles of a flexible quantum key distribution (QKD) system using quadraturephase-shift-keying (QPSK) base and symbol encoding and dualthreshold bala...
164
click to vote
ENGL
2007
15 years 6 months ago
2007
— The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
155
click to vote
ANOR
2002
15 years 6 months ago
2002
This paper provides the asymptotic analysis of the loss probability in the GI/M/1/n queueing system as n increases to infinity. The approach of this paper is alternative to that of...
192
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...