CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
In this paper new, lightweight security and control protocol for Voice over Internet Protocol (VoIP) service is presented. It is the alternative for the IETF's (Internet Engi...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We show that the neighbor-joining algorithm is a robust quartet method for constructing trees from distances. This leads to a new performance guarantee that contains Atteson's...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The paper analyzes CFVZ, a new public key cryptosystem whose security is based on a matrix version of the discrete logarithm problem over an elliptic curve. It is shown that the co...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We use entropy rates and Schur concavity to prove that, for every integer k 2, every nonzero rational number q, and every real number , the base-k expansions of , q + , and q all...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract--Space
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract-- In this work, we propose a game theoretic framework to analyze the behavior of cognitive radios for distributed adaptive channel allocation. We define two different obje...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
