2015 search results - page 289 / 403 » Hidden Software Capabilities |
WCET
2010
13 years 7 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
PROMISE
2010
13 years 4 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
CC
2003
Springer
14 years 2 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
VAMOS
2007
Springer
14 years 3 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...