3972 search results - page 108 / 795 » Palpability Support Demonstrated |
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
AAAI
2010
13 years 6 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
CSMR
2010
IEEE
13 years 3 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
TMM
2011
13 years 3 months ago
2011
Abstract—Supporting video transmission over error-prone mobile ad-hoc networks is becoming increasingly important as these networks become more widely deployed. We propose a rout...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
Data about everything is readily available on the web—but often only accessible through elaborate user interactions. For automated decision support, extracting that data is esse...