Cloud Management on the Assumption of Failure of Resource Demand Prediction. | 0 | 0.34 | 2012 |
Mobile Lehr- und Lernszenarien | 0 | 0.34 | 2004 |
An Auditing System for QoS-Enabled Networks | 1 | 0.37 | 2003 |
Partial Order Verification of Programmable Logic Controllers | 0 | 0.34 | 2001 |
The Verification System Tatzelwurm | 1 | 0.37 | 1995 |
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung | 0 | 0.34 | 1991 |
Sonderforschungsbereich 314: Küstliche Intelligenz - Wissensbasierte Systeme | 0 | 0.34 | 1991 |
Architecture design of a RISC-processor for prolog | 0 | 0.34 | 1989 |
Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings | 28 | 19.13 | 1981 |
One Abstract Accepting Algorithm for all Kinds of Parsers | 3 | 0.48 | 1979 |
A Unified Approach to the Generation and the Acception of Formal Languages. | 1 | 0.39 | 1978 |
Van Wijngaarden Grammars and Space Complexity Classs EXSPACE | 4 | 0.72 | 1977 |
A Decidability Criterion for van Wijngaarden Grammars. | 13 | 2.48 | 1975 |
Some results on the set of congruence relations in a finite, strongly connected automaton. | 5 | 0.83 | 1967 |