8903 search results - page 1776 / 1781 » Alternative |
SIGMOD
2003
ACM
15 years 9 months ago
2003
ACM
The Aurora system [1] is an experimental data stream management system with a fully functional prototype. It includes both a graphical development environment, and a runtime syste...
STACS
2010
Springer
15 years 4 months ago
2010
Springer
In 2000 Alber et al. [SWAT 2000 ] obtained the first parameterized subexponential algorithm on undirected planar graphs by showing that k-DOMINATING SET is solvable in time 2O( ...
QEST
2005
IEEE
15 years 3 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...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: Die Arbeitsgruppe Echtzeitsysteme und Kommunikation an der Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg nutzt die Attraktivität von Roboterbaukästen, ...
SCHULE
2005
Springer
15 years 3 months ago
2005
Springer
: Dieser Beitrag diskutiert einen Artikel aus der GI-Zeitschrift Log In Nr. 128/29 (2004) [He04], der in einem Abschnitt den Nutzen objektorientierter Konzepte f¨ur die schulische...