8125 search results - page 1368 / 1625 » Adaptable and Adaptive Hypermedia Systems |
170
click to vote
CONCUR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
167
click to vote
CONCUR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
171
click to vote
DEXA
2007
Springer
16 years 27 days ago
2007
Springer
Due to the high frequency in location updates and the expensive cost of continuous query processing, server computation capacity and wireless communication bandwidth are the two li...
150
click to vote
ECSQARU
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
156
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...