139 search results - page 17 / 28 » A material focus: exploring properties of computational comp... |
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
Videogames now enable players to spend virtual fortunes on exotic virtual goods and even create and sell virtual artefacts. Online consumers may also browse endlessly through virt...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Many knowledge representation mechanisms consist of linkbased structures; they may be studied formally by means of unordered trees. Here we consider the case where labels...
ACSD
2008
IEEE
13 years 10 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
EICS
2009
ACM
14 years 2 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
WICON
2008
13 years 9 months ago
2008
In this paper, we discuss key management challenges for seamless handovers across heterogeneous wireless networks. We focus on utilizing existing keying material from previous acc...