This technical report provides a theoretical basis for the implementation of a TTCN test case simulator. In order to base the implementation on existing code, an automata based model has been chosen, i.e., in the model a TTCN test case shows an automaton like behavior. The procedure is the following: TTCN test cases are transformed into an internal structure, which afterwards can be interpreted...

In accident reconstruction, individual road accidents are treated as essentially deterministic events, although incomplete information can leave one uncertain about how exactly an accident happened. In statistical studies, on the other hand, accidents are treated as individually random, although the parameters governing their probability distributions may be modeled deterministically. Selection...

BACKGROUND Little is known about how to implement promising small-scale projects to reduce reproductive ill health and HIV vulnerability in young people on a large scale. This evaluation documents and explains how a partnership between a non-governmental organization (NGO) and local government authorities (LGAs) influenced the LGA-led scale-up of an innovative NGO programme in the wider context...

In this paper, we present a new normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate. We show that concepts in prime implicate normal form enjoy a number of desirable properties which make prime implicate normal form interesting from the viewpoint of knowledge compilation. In particular, we prove that subsumption betw...

The present document has been developed within the 3 rd Generation Partnership Project (3GPP TM) and may be further elaborated for the purposes of 3GPP. The present document has not been subject to any approval process by the 3GPP Organisational Partners and shall not be implemented. This Specification is provided for future development work within 3GPP only. The Organisational Partners accept ...

This technical report (TR) is an optional part of the International Standard for Prolog, ISO/IEC 13211. Prolog manufacturers wishing to implement Definite Clause Grammar rules in a portable way should do so in compliance with this technical report. Grammar rules provide convenient functionality for parsing and processing text in a variety of languages. They have been implemented in many Prolog ...

This technical report provides a theoretical basis for the implementation of a TTCN test case simulator. In order to base the implementation on existing code, an automata based model has been chosen, i.e., in the model a TTCN test case shows an automaton like behavior. The procedure is the following: TTCN test cases are transformed into an internal structure, which afterwards can be interpreted...

INTRODUCTION The ILEP Technical Commission (ITC) advises ILEP member associations on technical aspects of leprosy. A major review of research evidence in leprosy was published prior to the International Leprosy Congress in 2002. This current report updates that review based on research published between 2002-2009 and focuses on interventions for prevention, early diagnosis, chemotherapy, reacti...

Metaprogramming is a powerful technique of software development, which allows to automate program generation. Applications of metaprogramming range from improving expressiveness of a programming language via deep embedding of domain-specific languages to boosting performance of produced code by providing programmer with finegrained control over compilation. In this report we introduce macros, f...

We present a generalisation of King’s symbolic execution technique called compact symbolic execution. It is based on a concept of templates: a template is a declarative parametric description of such a program part, generating paths in symbolic execution tree with regularities in program states along them. Typical sources of these paths are program loops and recursive calls. Using the templates...