Information Technology (IT) is a very important aspect for higher education institutions (HEI) in both teaching, research and administration. The managers of those intuitions are more and more aware that IT is a strategic tool for their institutions. On the other hand, IT Governance is getting attention from the practitioner and research side, given the need to govern IT extending the organisation's strategy and objectives into IT. IT Governance helps to set clear expectations, to gain participation, open communications, establish accountability and provide executive management oversight. Thus, it is important to consider IT Governance and the alignment with business strategy for HEI. In this article, authors present a Systematic Literature Review (SLR) on IT Governance in HEIs using a collection of scientific and non-conventional data (grey literature). The motivation that drives this literature review is the further development of an IT Governance framework for Tunisian universities. This article aims to define the situation of the IT Governance in other countries. This article aims to provide a map of the state of the art of IT governance in HEI in various countries. Results show a mixed situation of IT Governance in HEIs. Some countries have the support of top level management to introduce IT Governance in HEIs by adopting regulatory frameworks and common laws. But other countries relay in their strong culture of IT Governance. The different case studies presented in this review show that there is no consensus on the IT Governance framework or standard to use in HEI. An important number of institutions are implementing COBIT or ISO best practices. In the other hand, some counties have developed their own frameworks. Results show there is no a single way to implement an IT Governance framework designed for HEI. However, it is also true that there are two mandatory aspects that are necessary to implement in IT Governance deployments: firstly, establishing a committee structure for IT assets and secondly, enable effective communication between the IT, the business and the stakeholders.

In order to enable experimentations and simulations of bigraphs, we need an implementation of their dynamic. In this paper, we tackle the matching issue of this task. We present a solution based on an investigation on graph matching. We propose to simulate a bigraphical reactive system (i.e., bigraphs with a set of reaction rules that allow their rewriting) with a graph transformation system. First, we translate a bigraph to a ranked graph. This translation is ensured by defining a faithful functor that allows to move from the bigraph category to the ranked graph category. Then, we show that reaction rules can be simulated with graph rules. Hence, we provide a formal basis allowing to execute bigraph transformations by simulating their translation aiming to use well-established and efficient graph transformation tools.

No abstract

This paper presents a novel health analysis approach for heart failure prediction. It is based on the use of complex event processing (CEP) technology, combined with statistical approaches. A CEP engine processes incoming health data by executing threshold-based analysis rules. Instead of having to manually set up thresholds, our novel statistical algorithm automatically computes and updates thresholds according to recorded historical data. Experimental results demonstrate the merits of our approach in terms of speed, precision, and recall.

No abstract

No abstract

No abstract

In this paper, we present a multi-scale modeling methodology for software System of Systems (SoS) using the formal technique of Bigraphical Reactive System. This methodology provides a correct by design approach ensuring the correctness of the SoS architectures. A first scale is defined by the designer. Then, it is refined by successively adding lower scale details. The transition between scales is implemented following a ruleoriented refinement process. The executed rules respect the system constraints ensuring, in this way, the correctness of the obtained scale architectures. Moreover, we address the dynamic aspect of SoS by providing model-based rules of reconfiguration actions. We illustrate our approach with a Smart Buildings case study.