Sciweavers

7274 search results - page 101 / 1455
» Abstractions for network update
Sort
View
89
Voted
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 27 days ago
Optimizing real-time RDF data streams
Abstract. The Resource Description Framework (RDF) provides a common data model for the integration of emerging "real-time" streams of social and sensor data with the Web...
Joshua Shinavier
84
Voted
CORR
2010
Springer
114views Education» more  CORR 2010»
15 years 27 days ago
Stochastic Minority on Graphs
Abstract. Cellular automata have been mainly studied for on very regular graphs carrying the cells (like lines or grids) and under synchronous dynamics (all cells update simultaneo...
Jean-Baptiste Rouquier, Damien Regnault, Eric Thie...
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
14 years 10 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
82
Voted
ICCS
2005
Springer
15 years 6 months ago
Multiscale Interpolation, Backward in Time Error Analysis for Data-Driven Contaminant Simulation
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
Craig C. Douglas, Yalchin Efendiev, Richard E. Ewi...
GECCO
2004
Springer
137views Optimization» more  GECCO 2004»
15 years 6 months ago
Modeling Coevolutionary Genetic Algorithms on Two-Bit Landscapes: Random Partnering
Abstract. A model of coevolutioinary genetic algorithms (COGA) consisting of two populations coevolving on two-bit landscapes is investigated in terms of the effects of random par...
Ming Chang, Kazuhiro Ohkura, Kanji Ueda, Masaharu ...