Sciweavers

4099 search results - page 528 / 820
» A Framework for Interactive Proof
Sort
View
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
16 years 25 days ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
OZCHI
2006
ACM
16 years 18 days ago
Question-based group authentication
There are various situations where a distinction needs to be made between group members and outsiders. For example, to protect students in chat groups from unpleasant incidents ca...
Ann Nosseir, Richard C. H. Connor, Karen Renaud
ICMCS
2005
IEEE
107views Multimedia» more  ICMCS 2005»
16 years 7 days ago
Context-Aware Dynamic Presentation Synthesis for Exploratory Multimodal Environments
In this paper, we develop a novel real-time, interactive, automatic multimodal exploratory environment that dynamically adapts the media presented, to user context. There are two ...
Harini Sridharan, Ankur Mani, Hari Sundaram, Jenni...
ATAL
2005
Springer
16 years 6 days ago
Multiagent simulation of learning environments
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...
Elizabeth Sklar, Mathew Davies
DIGRA
2005
Springer
16 years 5 days ago
Tangible Interfaces for Pervasive Gaming
With pervasive gaming, novel types of games have recently emerged. The idea is to apply pervasive computing technology - which embeds computers in real-world, everyday environment...
Andreas Schrader, Bernhard Jung, Darren Carlson