4305 search results - page 730 / 861 » Analysing Protocol Implementations |
182
click to vote
FSTTCS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
158
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
184
click to vote
GPC
2007
Springer
16 years 16 days ago
2007
Springer
We present in this paper the recent developments done in P2P-MPI, a grid middleware, concerning the fault management, which covers fault-tolerance for applications and fault detect...
130
click to vote
IPOM
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents a full video delivery network monitoring suite. Our monitoring tool offers a new view of a video delivery network, a view based on the quality perceived by fi...
184
click to vote
MSN
2007
Springer
16 years 15 days ago
2007
Springer
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...