906 search results - page 103 / 182 » Linking Theories of Concurrency |
HT
2005
ACM
15 years 3 months ago
2005
ACM
This paper presents a historical view of hypertext looking at preweb hypertext as a domesticated species bred in captivity, and arguing that on the web, some breeds of hypertext h...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
Today, as Grid Computing is becoming a reality, there is a need for managing and monitoring the available resources worldwide, as well as the need for conveying these resources to...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...