Sciweavers

2598 search results - page 370 / 520
» The Abstract Immune System Algorithm
Sort
View
118
Voted
ESOP
2010
Springer
15 years 12 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
126
Voted
ICRA
2009
IEEE
109views Robotics» more  ICRA 2009»
15 years 9 months ago
Self-adapting modular robotics: A generalized distributed consensus framework
Abstract— Biological systems achieve amazing adaptive behavior with local agents performing simple sensing and actions. Modular robots with similar properties can potentially ach...
Chih-Han Yu, Radhika Nagpal
DNA
2009
Springer
145views Bioinformatics» more  DNA 2009»
15 years 9 months ago
Distributed Agreement in Tile Self-assembly
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
Aaron Sterling
FSTTCS
2009
Springer
15 years 9 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
113
Voted
SEMWEB
2009
Springer
15 years 9 months ago
MapPSO Results for OAEI 2009
Abstract. This paper presents and discusses the results of the latest developments of the MapPSO system, which is an ontology alignment approach that is based on discrete particle ...
Jürgen Bock, Peng Liu 0002, Jan Hettenhausen