3228 search results - page 519 / 646 » Computationally Sound Proofs |
134
click to vote
CONCUR
2007
Springer
15 years 12 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
160
click to vote
HPCC
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
159
click to vote
ISW
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
178
click to vote
RTA
2007
Springer
15 years 12 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
151
click to vote
STACS
2007
Springer
15 years 12 months ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...