Sciweavers

1286 search results - page 118 / 258
» A Practical Modelling Notation for Secure Distributed Comput...
Sort
View
IPPS
2003
IEEE
15 years 11 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 10 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
CCS
2009
ACM
16 years 1 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
EDOC
2000
IEEE
15 years 10 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...
ICPR
2008
IEEE
16 years 24 days 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