In the absence of a test framework for runtime verification tools, the evaluation and testing of such tools is an onerous task. In this paper we present the tool SMock; an easily and highly configurable mock system based on a domainspecific language providing profiling reports and enabling behaviour replayability, and specifically built to support the testing and evaluation of runtime verificat...

This chapter gives an overview of benefit-cost analysis (BCA) and similar evaluation tools, such as cost-effectiveness analysis and technology-based standards, in the context of public health. We describe these evaluation tools, how they are used, their shortcomings, and how they should be interpreted. As with other powerful tools, they are subject to misuse and misinterpretation, even by profe...

As a broader array of communication tools is developed, designers of learning environments need a better understanding of what kinds of communication each medium is best suited for. Each of the new media have different affordances and constraints. One of our principles for the design of learning environments is “Render unto each medium what it does best.” This paper is an attempt to state some ...

The purpose of this study was to investigate the effect of using synchronous and asynchronous communication tools in online group activities to develop collaborative learning skills. An experimental study was implemented on a sample of faculty of education students in Mansoura University. The sample was divided into two groups, a group studied using synchronous communication tools, and the othe...

Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called TryLogic, teaching how to solve logical conjectures either by proofs or refutations. The paper also describes the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification,...

To facilitate the clinical guideline (GL) development process, different groups of researchers have proposed tools that enable computer-supported tools for authoring and publishing GLs. In a previous study we interviewed GL authors in different Norwegian institutions and identified tool shortcomings. In this follow-up study our goal is to explore to what extent GL authoring tools have been eval...

In this paper, we investigate the robust stability problem of a class of LTI discrete uncertain singularly perturbed time-delay systems. If the singular perturbation parameter of these systems is sufficiently small, they can be separated into two reduced-order subsystems, the slow subsystem and fast subsystem. Two stability criteria for the slow and fast subsystem of the uncertain system are th...