Sciweavers

1286 search results - page 118 / 258
» A Practical Modelling Notation for Secure Distributed Comput...
Sort
View
IPPS
2003
IEEE
15 years 6 months ago
Performance Modeling of the Grace Hash Join on Cluster Architectures
Aim of the paper is to develop a concise but comprehensive analytical model for the well-known Grace Hash Join algorithm on cost effective cluster architectures. This approach is ...
Erich Schikuta
DAIS
2011
14 years 4 months ago
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators
Abstract. Dealing with Network Address Translators (NATs) is a central problem in many peer-to-peer applications on the Internet today. However, most analytical models of overlay n...
John Ardelius, Boris Mejías
93
Voted
CCS
2009
ACM
15 years 7 months ago
HAIL: a high-availability and integrity layer for cloud storage
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
Kevin D. Bowers, Ari Juels, Alina Oprea
107
Voted
EDOC
2000
IEEE
15 years 5 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
58
Voted
ICPR
2008
IEEE
15 years 7 months ago
Multivariate Laplace Filter: A heavy-tailed model for target tracking
Video-based target tracking is a challenging task, because there always appears to be complex occlusion among the varying number of objects. Also, in practice, it is very common t...
Daojing Wang, Chao Zhang, Xuemin Zhao