Sciweavers

89222 search results - page 60 / 17845
» Which
Sort
View
IPPS
1998
IEEE
14 years 1 months ago
Experimental Validation of Parallel Computation Models on the Intel Paragon
Experimental data validating some of the proposed parallel computation models on the Intel Paragon is presented. This architecture is characterized by a large bandwidth and a rela...
Ben H. H. Juurlink
ECOOP
1998
Springer
14 years 1 months ago
A Statically Safe Alternative to Virtual Types
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...
Kim B. Bruce, Martin Odersky, Philip Wadler
SP
1996
IEEE
118views Security Privacy» more  SP 1996»
14 years 1 months ago
A Fair Non-repudiation Protocol
: This paper examines the Zhou-Gollmann fair non-repudiation protocol as well as its modified version of Kim et al. We describe how these protocols are vulnerable to an attack by a...
Jianying Zhou, Dieter Gollmann
ECAI
1994
Springer
14 years 1 months ago
Operationalizing Conceptual Models Based on a Model of Dependencies
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
Frank Maurer, Jürgen Paulokat
ICCI
1993
14 years 1 months ago
A Distributed Algorithm for Ear Decomposition
A distributed algorithm for finding an ear decomposition of an asynchronous communication network with n nodes and m links is presented in this paper. At the completion of the alg...
Sridhar Hannenhalli, Kalyan S. Perumalla, N. Chand...