ETT
2006
13 years 7 months ago
2006
The popular IEEE 802.11 WLAN today does not provide any quality-of-service (QoS) because of its contention-based channel access nature of the medium access control (MAC). Therefore...
IIE
2008
13 years 8 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relev...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
An infinite word has the property Rm if every factor has exactly m return words. Vuillon showed that R2 characterizes Sturmian words. We prove that a word satisfies Rm if its compl...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We consider the problem of sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the sample size), a...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Given a sample from a probability measure with support on a submanifold in Euclidean space one can construct a neighborhood graph which can be seen as an approximation of the subm...
CORR
2006
Springer
13 years 8 months ago
2006
Springer