7080 search results - page 1223 / 1416 » Designing High Integrity Systems Using Aspects |
124
Voted
HHCI
2000
15 years 7 months ago
2000
In this paper we discuss the design of computer-based haptic graphs for blind and visually impaired people with the support of our preliminary experimental results. Since visual i...
178
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
127
Voted
ISEMANTICS
2010
15 years 5 months ago
2010
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
132
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...
139
click to vote
DOCENG
2009
ACM
15 years 1 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...