Sciweavers

23557 search results - page 678 / 4712
» Distributed Computing - Introduction
Sort
View
WDAG
2010
Springer
185views Algorithms» more  WDAG 2010»
15 years 5 months ago
The Computational Structure of Progress Conditions
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
Gadi Taubenfeld
EUSFLAT
2009
679views Fuzzy Logic» more  EUSFLAT 2009»
15 years 5 months ago
Combining Wavelets and Computational Intelligence Methods with Applications on Multi-class Classification Datasets
In this paper, we propose a novel algorithm for wavelet feature extraction as input to a supervised Multi-Class Classifier to improve classification performance. In particular, to ...
Carlos Campos Bracho
FECS
2009
159views Education» more  FECS 2009»
15 years 5 months ago
Pair-teaching a course on Grid computing from two campuses on NCREN
- Since Fall 2004, we have been co-teaching a class on Grid computing to several NC institutions using the North Carolina Research and Education Network (NCREN). In this paper, we ...
Clayton Ferner, Barry Wilkinson
173
Voted
ICARIS
2004
Springer
16 years 26 days ago
Exploiting Immunological Properties for Ubiquitous Computing Systems
The immune system exhibits properties such as learning, distributivity continual adaptation, context dependent response and memory during the lifetime of a host. This paper argues ...
Philipp H. Mohr, Nick Ryan, Jon Timmis
CAV
1993
Springer
108views Hardware» more  CAV 1993»
15 years 11 months ago
Computer-Assisted Simulation Proofs
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
Jørgen F. Søgaard-Andersen, Stephen ...