Sciweavers

369 search results - page 17 / 74
» Canonical finite state machines for distributed systems
Sort
View
ISSTA
2004
ACM
14 years 1 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
WDAG
2010
Springer
230views Algorithms» more  WDAG 2010»
13 years 6 months ago
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
Vijay K. Garg
GECCO
2010
Springer
173views Optimization» more  GECCO 2010»
13 years 7 months ago
Superstate identification for state machines using search-based clustering
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
Mathew Hall, Phil McMinn, Neil Walkinshaw
LCR
2000
Springer
148views System Software» more  LCR 2000»
13 years 11 months ago
InterWeave: A Middleware System for Distributed Shared State
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...
DeQing Chen, Sandhya Dwarkadas, Srinivasan Parthas...
BIOCOMP
2006
13 years 9 months ago
Toward In Vivo Disease Diagnosis and Treatment Using DNA
We propose a technique to diagnose and treat individual cells in the human body. A virus-like system delivers a copy of a diagnosis and treatment DNA complex to each cell. The comp...
Yuriy Brun, Manoj Gopalkrishnan