1923 search results - page 35 / 385 » Modeling Complexity in Secure Distributed Computing |
FORTE
2010
13 years 10 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
CTRSA
2006
Springer
14 years 5 days ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,
DNIS
2005
Springer
14 years 2 months ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...