1638 search results - page 154 / 328 » Properties of input-consuming derivations |
166
click to vote
ACTA
2010
15 years 6 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
141
click to vote
ADT
2010
15 years 6 months ago
2010
: In the era of mobile and wireless networks, the growing complexity of end devices and the accentuated tendency towards miniaturization of them raise new security challenges. Auth...
154
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
166
click to vote
CN
2010
15 years 6 months ago
2010
We consider massively dense ad hoc networks and study their continuum limits as the node density increases and as the graph providing the available routes becomes a continuous area...
142
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The asynchronous capacity region of memoryless multiple-access channels is the union of certain polytopes. It is well-known that vertices of such polytopes may be approached via a...