2607 search results - page 127 / 522 » On the Architecture of System Verification Environments |
161
click to vote
KES
2007
Springer
16 years 16 days ago
2007
Springer
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...
135
click to vote
MSN
2005
Springer
15 years 12 months ago
2005
Springer
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...
158
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
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...
161
click to vote
EUROMICRO
2005
IEEE
16 years 23 hour ago
2005
IEEE
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 ...
188
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—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...