4305 search results - page 353 / 861 » Analysing Protocol Implementations |
252
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--Since Grid computing systems involve large-scale resource sharing, resource management is central to their operations. Whereas there are more Grid resource management sys...
284
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
206
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
175
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Grid computing has been widely adopted for intensive high performance computing. Since grid resources are distributed over complex large-scale infrastructures, understanding grid ...
194
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...