29082 search results - page 5302 / 5817 » The Time-Triggered Model of Computation |
220
click to vote
ISORC
2003
IEEE
16 years 13 days ago
2003
IEEE
Fault tolerance schemes for mobile agents to survive agent server crash failures are complex since developers normally have no control over remote agent servers. Some solutions mo...
185
click to vote
IWPC
2003
IEEE
16 years 12 days 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...
190
click to vote
LCN
2003
IEEE
16 years 12 days 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...
194
click to vote
LICS
2003
IEEE
16 years 12 days 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 ...
206
click to vote
LICS
2003
IEEE
16 years 12 days 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...