35416 search results - page 7077 / 7084 » Evaluation |
QEST
2005
IEEE
15 years 5 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
159
click to vote
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
124
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
GI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract: Softwarevisualisierung und Algorithmenanimation sind wichtige Hilfsmittel der Informatikausbildung. Daher schlagen wir eine Interaktionsunterstützung zur aktiven Steueru...
107
click to vote
GI
2004
Springer
15 years 5 months ago
2004
Springer
: Since the advent of Gnutella, Peer-to-Peer (P2P) protocols have matured towards a fundamental design element for large-scale, self-organising distributed systems. Many research e...