6 search results - page 1 / 2 » Extending DL-Lite Sometime in the Future |
DLOG
2009
13 years 8 months ago
2009
CHI
2002
ACM
14 years 11 months ago
2002
ACM
Low-fidelity paper prototyping has proven to be a useful technique for designing for graphical user interfaces [1]. Wizard of Oz prototyping for other input modalities, such as sp...
HUC
2004
Springer
14 years 4 months ago
2004
Springer
Ubiquitous computing technologies offer the promise of extending the benefits of computing to workers who do not spend their time at a desktop environment. In this paper, we review...
PASTE
2004
ACM
14 years 4 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
RV
2010
Springer
13 years 9 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...