- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Technical Reports (Computer Science)
- →
- Browsing Technical Reports (Computer Science) by Type
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Technical Reports (Computer Science) by Type "Technical Report"
Now showing items 1-5 of 5
-
(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 ...
-
(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 ...
-
(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 ...
Now showing items 1-5 of 5