3330 search results - page 251 / 666 » software 2010 |
108
Voted
ICCHP
2010
Springer
14 years 10 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 ...
128
Voted
ICST
2010
IEEE
14 years 10 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...
TEI
2010
ACM
15 years 7 months 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...
121
Voted
SCP
2010
14 years 11 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...
108
click to vote
POPL
2010
ACM
15 years 29 days 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 ...