Sciweavers

2607 search results - page 127 / 522
» On the Architecture of System Verification Environments
Sort
View
KES
2007
Springer
16 years 16 days ago
Practical Environment for Realizing Augmented Classroom with Wireless Digital Pens
We have developed AirTransNote, a student notes sharing system to facilitate collaborative and interactive learning in a regular lecture at conventional classrooms. Our former syst...
Motoki Miura, Susumu Kunifuji, Yasuyuki Sakamoto
MSN
2005
Springer
15 years 12 months ago
Handling Sensed Data in Hostile Environments
Systems that track sensed data trigger alerts based on the evaluation of some condition. In the presence of loss data a conservative condition may not generate a necessary alert an...
Oren Ben-Zwi, Shlomit S. Pinter
CHI
2002
ACM
16 years 6 months ago
Sketching annotations in a 3D web environment
Collaborative design review is an important part of architectural design work. The Space Pen system supports annotation and drawing on (and inside) 3D VRML/Java models using a reg...
Thomas Jung, Mark D. Gross, Ellen Yi-Luen Do
EUROMICRO
2005
IEEE
16 years 23 hour ago
Distribution of a Hierarchical Component in a Non-Connected Environment
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
Didier Hoareau, Yves Mahéo
EUROMICRO
2009
IEEE
16 years 1 months ago
An Architecture-Based Framework for Managing Adaptive Real-Time Applications
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blon...