Sciweavers

1519 search results - page 157 / 304
» What do they think
Sort
View
GROUP
2003
ACM
14 years 3 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»
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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