Sciweavers

2757 search results - page 423 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
PODC
1999
ACM
15 years 6 months ago
On k-Set Consensus Problems in Asynchronous Systems
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
Roberto De Prisco, Dahlia Malkhi, Michael K. Reite...
MJ
2006
76views more  MJ 2006»
15 years 1 months ago
Reading the footprints of strained islands
We report on recent advances in the understanding of surface processes occurring during growth and post-growth annealing of strained islands which may find application as self-ass...
A. Rastelli, Mathieu Stoffel, G. Katsaros, J. Ters...
EICS
2009
ACM
15 years 5 months ago
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
Philippe A. Palanque, Marco Winckler, Jean-Fran&cc...
124
Voted
DGO
2008
131views Education» more  DGO 2008»
15 years 3 months ago
A domain-specific language for urban simulation variables
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
Alan Borning, Hana Sevcikova, Paul Waddell
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
15 years 8 months ago
Synthesis of Fault-Tolerant Distributed Systems
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
Rayna Dimitrova, Bernd Finkbeiner