Sciweavers

243 search results - page 18 / 49
» Communication under Strong Asynchronism
Sort
View
93
Voted
CHI
2005
ACM
16 years 26 days ago
Homophily in online dating: when do you like someone like yourself?
Psychologists have found that actual and perceived similarity between potential romantic partners in demographics, attitudes, values, and attractiveness correlate positively with ...
Andrew T. Fiore, Judith S. Donath
IPPS
2000
IEEE
15 years 4 months ago
Consensus Based on Failure Detectors with a Perpetual Accuracy Property
This paper is on the Consensus problem, in the context of asynchronous distributed systems made of n processes, at most f of them may crash. A family of failure detector classes s...
Achour Mostéfaoui, Michel Raynal
ENTCS
2008
70views more  ENTCS 2008»
15 years 16 days ago
Separate Compilation of Polychronous Specifications
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard,...
126
Voted
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 5 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
105
Voted
DSN
2002
IEEE
15 years 5 months ago
Secure Intrusion-tolerant Replication on the Internet
This paper describes a Secure INtrusion-Tolerant Replication Architecture1 (SINTRA) for coordination in asynchronous networks subject to Byzantine faults. SINTRA supplies a number...
Christian Cachin, Jonathan A. Poritz