Videos are extensively used nowadays to support learners in a variety of educational settings such as traditional online courses, MOOCs (Massive Open Online Courses), flipped classrooms, and blended courses. Therefore, it is of prime importance to develop methodologies capable of producing effective video-based learning courses which can lead to the highest success and learner satisfaction. AMMIL (Active Meaningful Micro-Inductive Learning) is a methodology for creating video-based learning courses, which aims to maximise the instructional effectiveness in terms of motivation and academic performance in self-learning environments. This methodology has been successfully used to create several MOOCs, as well as to support a blended programming course at a higher education institution. This paper presents the AMMIL methodology and an evaluation of two different MOOCs and a higher education programming course in which this methodology was applied. This evaluation was conducted by using student surveys as data collection instruments. The results are very promising since they show that students were very satisfied with the courses created applying the AMMIL methodology.

This paper presents the concept and preliminary experiments of a system for assessing on the Quality of Service of multimedia flows. The goal is to devise a mechanism that allows a service provider to take action whenever poor quality of service is detected in the delivery of multimedia flows. Such procedure is fully automatic since it is based on a goodness-of-fit test between source and destination packet interarrival histograms. If the null hypothesis of the test is accepted the flow is marked as in good standing, otherwise it is marked as anomalous and the network management system should take action in response. The proposed technique is analyzed in terms of hardware complexity and bandwidth consumption. The results show this technique is feasible and easily deployable at a minimum hardware and bandwidth expense.

LOTOS is a Formal Description Technique developed within ISO to specify services and protocols. This paper describes a tool for doing LOTOS to LOTOS transformations. It has applications in state exploration, deadlock detection, testing, validation and in design by stepwise refinement. The transformations are: expansion (transformation of parallelism into summation and prefix); parameterized expansion; i action removal. The transformations obtain LOTOS specifications which relate to the original one through strong (expansion and parameterized expansion) or weak (i-action removal) bisimulation congruence.

This paper describes the main issues arising during the port of the Isabel CSCW application to IPv6. Isabel has been ported to IPv6 in the European IST-1999-20393 LONG project. The port was validated in the distribution of the Madrid Global IPv6 Summit in March 2002. The distribution of the Global IPv6 Summit was a large trial where access to the conference was given with ISABEL running over a network which includes native IPv6 parts, IPv6 over IPv4 tunnels as well as only IPv4 parts. The conclusions obtained are analyzed.

This paper presents an improved version of the interleaved expansion which generates a compressed representation of the transition system of a LOTOS behaviour expression in which interleaved actions are not expanded, but kept isolated. The compressed state space representation contains only the expansion of actions synchronizing and achieves a very large reduction of the state space representation. This compressed form has several applications, e.g. deadlock detection.

This article presents two algorithms for transforming a monolithic LOTOS behaviour into two processes composed by the parallel operator. These algorithms axe particular cases of the overall concept Inverse Expansion, which is based on the inversion of the so-called Expansion Theorem. The transformations presented in this article maintain the observational equivalence. The main interest of these transformations is that they keep the parallelism of the original behaviour and make it explicit. The Inverse Expansion has several applications, like the decomposition of functionality, modularization, synthesizing of protocols, decomposition of tests, etc...