Sciweavers

15614 search results - page 262 / 3123
» The State of State
Sort
View
SIGMETRICS
2005
ACM
16 years 5 days ago
Introducing permuted states for analyzing conflict rates in optimistic replication
An-I Wang, Peter L. Reiher, Geoffrey H. Kuenning
161
Voted
BIRTHDAY
2005
Springer
16 years 5 days ago
Compositional Reasoning for Probabilistic Finite-State Behaviors
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
Yuxin Deng, Catuscia Palamidessi, Jun Pang
CD
2005
Springer
16 years 4 days ago
Modelling Deployment Using Feature Descriptions and State Models for Component-Based Software Product Families
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
Slinger Jansen, Sjaak Brinkkemper
CICLING
2005
Springer
16 years 4 days ago
Regional Versus Global Finite-State Error Repair
Manuel Vilares Ferro, Juan Otero, Jorge Grañ...