- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Browsing Computer Science by Type
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Computer Science by Type "Technical Report"
Now showing items 1-8 of 8
-
(Springer-Verlag, 2013)Before the advent of sufficiently powerful computing machinery, the practice of science took place on a bi-polar spectrum between rationalism and empirism, between theory and experiment. Theory commanded support from ...
-
(University of Cape Town, 2018)Many university students, especially first-year students, struggle to efficiently manage their study time which results in lower academic achievements. This paper empirically examines the effect that the number of ...
-
(RWTH Aachen: Fachgruppe Informatik, 1998)The need for keeping separate, mutually dependend documents mutually consistent with each other is called an "integration problem". This technical report (in German language), recapitulates some of the already existing ...
-
(Technische Universität Berlin, 2000)The main result of this contribution is that the presented concept of meta-typing is compatible to the SPO theory and can be implemented, therefore, into the SPO-based graph grammar engineering environment AGG without ...
-
(University of Pretoria, 2015-10-07)In this Technical Report we prove Theorem 1 and Theorem 2 with reference to the article "Parameterised Three-Valued Model Checking" which is to appear in the journal "Science of Computer Programming". This Technical Report ...
-
(RWTH Aachen: Fachgruppe Informatik, 1997)In this paper, a new method supporting the well-known graph grammar specification approach to developing fine-grained and incrementally-operating integration tools is presented.
-
(Department of Computer Science: University of Pretoria, 2018-08-01)In this Technical Report we provide the proof to Theorem 1 which appears in our forthcoming article "Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement", to appear in the journal: Science of ...
-
(Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik, 1998-11)In distributed modeling, a group of developers are elaborating some specification in a work-sharing manner. Sub specifications and partial models are constructed according to a divide-and-conquer principle. Maintaining the ...
Now showing items 1-8 of 8