Sciweavers

8825 search results - page 134 / 1765
» All for one or one for all
Sort
View
JPDC
2007
95views more  JPDC 2007»
15 years 1 months ago
Self-stabilizing algorithm for checkpointing in a distributed system
If the variables used for a checkpointing algorithm have data faults, the existing checkpointing and recovery algorithms may fail. In this paper, self-stabilizing data fault detec...
Partha Sarathi Mandal, Krishnendu Mukhopadhyaya
KBS
2007
86views more  KBS 2007»
15 years 1 months ago
On-line monitoring of plan execution: A distributed approach
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
Roberto Micalizio, Pietro Torasso
CCE
2004
15 years 1 months ago
Time (energy) requirements in closed batch distillation arrangements
Batch time (energy) requirements are provided for the separation of a zeotropic mixture in three batch column configurations. The separation tasks were performed in two different ...
S. Skouras, Sigurd Skogestad
COMBINATORICA
2004
97views more  COMBINATORICA 2004»
15 years 1 months ago
Partition Theorems for Left and Right Variable Words
In 1984 T. Carlson and S. Simpson established an infinitary extension of the Hales-Jewett Theorem in which the leftmost letters of all but one of the words were required to be vari...
Neil Hindman, Randall McCutcheon
CORR
2004
Springer
88views Education» more  CORR 2004»
15 years 1 months ago
Unification of Fusion Theories
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...
Florentin Smarandache