Sciweavers

1519 search results - page 157 / 304
» What do they think
Sort
View
GROUP
2003
ACM
15 years 11 months ago
Using the transformational approach to build a safe and generic data synchronizer
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
Pascal Molli, Gérald Oster, Hala Skaf-Molli...
FM
2003
Springer
92views Formal Methods» more  FM 2003»
15 years 11 months ago
Composing Invariants
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
Michel Charpentier
IPTPS
2003
Springer
15 years 11 months ago
Understanding Availability
This paper addresses a simple, yet fundamental question in the design of peer-to-peer systems: What does it mean when we say “availability” and how does this understanding imp...
Ranjita Bhagwan, Stefan Savage, Geoffrey M. Voelke...
FOCS
2002
IEEE
15 years 10 months ago
Global Information from Local Observation
We observe a certain random process on a graph ”locally”, i.e., in the neighborhood of a node, and would like to derive information about ”global” properties of the graph....
Itai Benjamini, László Lovász
COMPLEX
2009
Springer
15 years 10 months ago
Complex Multi-modal Multi-level Influence Networks - Affordable Housing Case Study -
Most influence networks are depicted as nodes and links operating in the manner of a feed-forward neural network where both nodes and links appear to be homogenous in their nature....
Patrick Beautement, Christine Brönner