21876 search results - page 3872 / 4376 » Computer game-flow design |
196
click to vote
CHARME
2003
Springer
16 years 3 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
181
click to vote
CIKM
2003
Springer
16 years 3 days ago
2003
Springer
Traffic analysis, in the context of Telecommunications or Internet and Web data, is crucial for large network operations. Data in such networks is often provided as large graphs w...
177
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
214
click to vote
DBISP2P
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...
184
click to vote
DIGITALCITIES
2003
Springer
16 years 3 days ago
2003
Springer
Today a wide variety of virtual worlds, cities, gaming environments etc. exist and become part of life of their human inhabitants. However, our understanding on how technology infl...