727 search results - page 20 / 146 » A Calculus of Bounded Capacities |
MFCS
2005
Springer
14 years 1 months ago
2005
Springer
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
WSC
1998
13 years 9 months ago
1998
As CDMA systems reach capacity, infrastructure providers are extending them by offering multicarrier capability. The capacity of an n-carrier CDMA system should be at least n time...
CONCUR
2003
Springer
14 years 23 days ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
SAT
2010
Springer
13 years 11 months ago
2010
Springer
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
—The capacity region of the finite-state multiple-access channel (FS-MAC) with feedback that may be an arbitrary timeinvariant function of the channel output samples is consider...