402 search results - page 49 / 81 » Is the island model fault tolerant |
GG
2008
Springer
13 years 8 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
ENGL
2007
13 years 7 months ago
2007
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
HPDC
1996
IEEE
13 years 12 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...