3330 search results - page 251 / 666 » software 2010 |
148
click to vote
ICCHP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Screen magnification is an important means to support visually impaired people when working with computers. Many improvements have been made on appropriate software. But ...
172
Voted
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
131
click to vote
TEI
2010
ACM
16 years 2 days ago
2010
ACM
Parameters in audio or video editing applications can mostly be controlled by a variety of hardware devices such as MIDI controllers. These, however, usually feature only a limite...
166
click to vote
SCP
2010
15 years 3 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
161
click to vote
POPL
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...