Sciweavers

346 search results - page 13 / 70
» Developing Morphological Building Blocks: From Design to Imp...
Sort
View
TIM
2011
152views more  TIM 2011»
13 years 1 months ago
Design, Implementation, and Case Study of a Pragmatic Vibrotactile Belt
Abstract—Recently, much research in the area of haptic technologies has focused on the development of waist-worn vibrotactile belts as substitution or augmentation modalities for...
Jacob Rosenthal, Nathan Edwards, Daniel Villanueva...
MIDDLEWARE
2004
Springer
14 years 25 days ago
Toward a standard ubiquitous computing framework
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
Martin Modahl, Bikash Agarwalla, Gregory D. Abowd,...
AISC
2010
Springer
13 years 11 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth
ICWL
2010
Springer
13 years 5 months ago
An Open Model for Learning Path Construction
Learning path construction is a complex task. It involves formulating and organizing learning activities, defining ways to evaluate student learning progress and to match such prog...
Fan Yang, Frederick W. B. Li, Rynson W. H. Lau
SAC
2002
ACM
13 years 7 months ago
A modular approach to build structured event-based systems
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
Ludger Fiege, Gero Mühl, Felix C. Gärtne...