43264 search results - page 8196 / 8653 » Comparing models of computation |
134
Voted
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
124
click to vote
LCN
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we develop an analytical threshold-based bandwidth allocation policy for 3G multi-class cellular networks. We consider the effects of user mobility when the cellular...
136
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
127
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
140
click to vote
P2P
2003
IEEE
15 years 9 months ago
2003
IEEE
The peer-to-peer (P2P) model generally requires that bidirectional and direct communications for contentdelivery be set up between user peers after discovery of the desired conten...