Sciweavers

2533 search results - page 212 / 507
» Supporting Generalized Context Interactions
Sort
View
BCSHCI
2007
15 years 7 months ago
Design, use and experience of e-learning systems
The use of computer applications to support learning and assessment is becoming more common, along with a growing body of research focusing on the pedagogical effectiveness of the...
Willem-Paul Brinkman, Annette Payne, Nayna Patel, ...
SDL
2007
192views Hardware» more  SDL 2007»
15 years 7 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
JAR
2007
104views more  JAR 2007»
15 years 6 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
MHCI
2005
Springer
15 years 11 months ago
Dynamic privacy management: a plug-in service for the middleware in pervasive computing
Context-aware applications can better meet users’ needs when sensing agents installed in the environment automatically provide input relevant to the application. However, this n...
Dan Hong, Mingxuan Yuan, Vincent Y. Shen
CONTEXT
2007
Springer
16 years 13 days ago
Of Situations and Their Neighbors
Ontology-based approaches to situation awareness have gained increasing popularity in recent years. However, most current approaches face two inherent problems. First, they lack su...
Norbert Baumgartner, Werner Retschitzegger, Wielan...