Sciweavers

6808 search results - page 125 / 1362
» Distributed Concurrency Control
Sort
View
LICS
2009
IEEE
14 years 4 months ago
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience
—We exhibit a deterministic concurrent reachability game PURGATORYn with n non-terminal positions and a binary choice for both players in every position so that any positional st...
Kristoffer Arnsfelt Hansen, Michal Koucký, ...
OOPSLA
2009
Springer
14 years 4 months ago
Thorn: robust, concurrent, extensible scripting on the JVM
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
Bard Bloom, John Field, Nathaniel Nystrom, Johan &...
QEST
2006
IEEE
14 years 4 months ago
Strategy Improvement for Concurrent Reachability Games
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...
CAD
2004
Springer
13 years 10 months ago
A concurrent engineering-oriented design database representation model
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
Deyi Xue, Haoguang Yang
KES
2000
Springer
14 years 1 months ago
A fuzzy approach to adaptive hypermedia
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...
Antonina Dattolo, Vincenzo Loia