3575 search results - page 75 / 715 » Modeling Concurrency with Geometry |
137
click to vote
FOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
Dynamic connectivity is a well-studied problem, but so far the most compelling progress has been confined to the edge-update model: maintain an understanding of connectivity in a...
124
click to vote
CSL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
120
click to vote
KES
2000
Springer
15 years 5 months ago
2000
Springer
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...
127
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
113
click to vote
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The complexity of virtual environments has grown spectacularly over the recent years, mainly thanks to the use of the currently cheap high performance graphics cards. As ...