Sciweavers

5012 search results - page 494 / 1003
» Distributed Error Correction
Sort
View
EUROPAR
2004
Springer
16 years 8 days ago
Evaluating OpenMP Performance Analysis Tools with the APART Test Suite
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
Michael Gerndt, Bernd Mohr, Jesper Larsson Trä...
MIDDLEWARE
2004
Springer
16 years 7 days ago
GridBox: securing hosts from malicious and greedy applications
Security is an important concern in providing the infrastructure for the implementation of general purpose computational grids. However, most grid implementations focus their secu...
Evgueni Dodonov, Joelle Quaini Sousa, Hélio...
IMA
1997
Springer
211views Cryptology» more  IMA 1997»
15 years 11 months ago
Key Agreement Protocols and Their Security Analysis
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
Simon Blake-Wilson, Don Johnson, Alfred Menezes
APN
2008
Springer
15 years 9 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
SOQUA
2004
15 years 8 months ago
Test Oracles Using Statistical Methods
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
Johannes Mayer, Ralph Guderlei