11558 search results - page 2084 / 2312 » Analytics for software development |
191
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
190
click to vote
DOCENG
2010
ACM
15 years 7 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
184
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the participation of the Technical University of Catalonia in the CLEF 2009 Question Answering on Speech Transcripts track. We have participated in the Englis...
273
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
The Planets Testbed is an open access web application for the digital preservation community, providing an experimental framework for evaluating preservation tools and approaches i...
167
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...