1468 search results - page 193 / 294 » On Industrial Use of Requirements Engineering Techniques |
169
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
183
click to vote
ICSR
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
169
click to vote
UIST
2009
ACM
16 years 25 days ago
2009
ACM
We introduce ARC-Pad (Absolute+Relative Cursor pad), a novel technique for interacting with large displays using a mobile phone’s touchscreen. In ARC-Pad we combine absolute and...
162
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
138
click to vote
BCSHCI
2008
15 years 7 months ago
2008
Creativity is indispensable for more innovative interactive system development. This tutorial is relevant to anyone involved in large projects that are exploiting new technologies...