2695 search results - page 378 / 539 » The Complexity of Forecast Testing |
112
Voted
SACMAT
2010
ACM
15 years 2 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
97
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
In Information Visualization, adding and removing data elements can strongly impact the underlying visual space. We introduce a chess board analogy for displaying (projecting) obj...
106
click to vote
SAC
2009
ACM
15 years 2 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
SEMWEB
2009
Springer
15 years 2 months ago
2009
Springer
RDF is an increasingly important paradigm for the representation of information on the Web. As RDF databases increase in size to approach tens of millions of triples, and as sophis...