Sciweavers

1124 search results - page 28 / 225
» Refined quorum systems
Sort
View
ICSE
1994
IEEE-ACM
15 years 10 months ago
Storing and Retrieving Software Components: A Refinement Based System
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
Ali Mili, Rym Mili, Roland Mittermeir
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
15 years 7 months ago
Refined instrumental variable methods for identifying hammerstein models operating in closed loop
This article presents an instrumental variable method dedicated to non-linear Hammerstein systems operating in closed loop. The linear process is a Box
Vincent Laurain, Marion Gilson, Hugues Garnier
ICPADS
2008
IEEE
16 years 1 months ago
Integrity-Preserving Replica Coordination for Byzantine Fault Tolerant Systems
The use of good random numbers is essential to the integrity of many mission-critical systems. However, when such systems are replicated for Byzantine fault tolerance, a serious i...
Wenbing Zhao
IDEAS
2005
IEEE
124views Database» more  IDEAS 2005»
16 years 5 days ago
Flexible Update Management in Peer-to-Peer Database Systems
Promising the combination of dynamic configuration, scalability and redundancy, peer-to-peer (P2P) networks have garnered tremendous interest lately. Before long, this interest ex...
David Del Vecchio, Sang Hyuk Son
PNPM
1987
15 years 10 months ago
Stochastic Petri Net Analysis of a Replicated File System
We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...
Joanne Bechta Dugan, Gianfranco Ciardo