4850 search results - page 766 / 970 » Proof and Computation in Geometry |
178
click to vote
HPCC
2007
Springer
16 years 23 days 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...
174
click to vote
ISW
2007
Springer
16 years 22 days 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...
193
click to vote
RTA
2007
Springer
16 years 21 days 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...
174
click to vote
STACS
2007
Springer
16 years 21 days 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 ...
160
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...