A type system for components

In modern distributed systems, dynamic reconfiguration, i.e., changing at runtime the communication pattern of a program, is chal- lenging. Generally, it is difficult to guarantee that such modifications will not disrupt ongoing computations. In a previous paper, a solution to this problem was proposed by extending the object-oriented language ABS with a component model allowing the programmer to: i) perform up- dates on objects by means of communication ports and their rebinding; and ii) precisely specify when such updates can safely occur in an object by means of critical sections. However, improper rebind operations could still occur and lead to runtime errors. The present paper introduces a type system for this component model that extends the ABS type system with the notion of ports and a precise analysis that statically enforces that no object will attempt illegal rebinding

Reversing Single Sessions

Session-based communication has gained a widespread acceptance in practice as a means for developing safe communicating systems via structured interactions. In this paper, we investigate how these structured interactions are affected by reversibility, which provides a computational model allowing executed interactions to be undone. In particular, we provide a systematic study of the integration of different notions of reversibility in both binary and multiparty single sessions. The considered forms of reversibility are: one for completely reversing a given session with one backward step, and another for also restoring any intermediate state of the session with either one backward step or multiple ones. We analyse the costs of reversing a session in all these different settings. Our results show that extending binary single sessions to multiparty ones does not affect the reversibility machinery and its costs

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

International audienceDelta-Oriented Programming (DOP) is a flexible transfor-mational approach to implement Software Product Lines (SPLs). In delta-oriented SPLs, variants are generated by applying operations contained in delta modules to a base program. These operations can add, remove or modify named elements in a program (e.g., classes, methods and fields in a Java program). This paper presents two notions of normal form for delta-oriented SPLs. Both normal forms do not contain the remove operation. Additionally, the second normal form enforces a limitation on the use of the method-modify operation. For each of the proposed normal forms an algorithm for refactoring a delta-oriented SPL into one that satisfies that normal form is described. The algorithms are formalized for a core calculus for delta-oriented SPLs of Java programs

Childhood tuberculosis: progress requires an advocacy strategy now

Childhood tuberculosis (TB) is a preventable and curable infectious disease that remains overlooked by public health authorities, health policy makers and TB control programmes. Childhood TB contributes significantly to the burden of disease and represents the failure to control transmission in the community. Furthermore, the pool of infected children constitutes a reservoir of infection for the future burden of TB. It is time to prioritise childhood TB, advocate for addressing the challenges and grasp the opportunities in its prevention and control. Herein, we propose a scientifically informed advocacy agenda developed at the International Childhood TB meeting held in Stockholm, Sweden, from March 17 to 18, 2011, which calls for a renewed effort to improve the situation for children affected by Mycobacterium tuberculosis exposure, infection or disease. The challenges and needs in childhood TB are universal and apply to all settings and must be addressed more effectively by all stakeholders

What Research Is Needed to Stop TB? Introducing the TB Research Movement

Christian Lienhardt and colleagues describe the development of the TB Research Movement, which aims to create a framework for concrete actions to harmonize and synergize TB research efforts globally

Remove Noise in Video with 3D Topological Maps

International audienceIn this paper we present a new method for foreground masks denoising in videos. Our main idea is to consider videos as 3D images and to deal with regions in these images. Denoising is thus simply achieved by merging foreground regions corresponding to noise with background regions. In this framework, the main question is the definition of a cri-terion allowing to decide if a region corresponds to noise or not. Thanks to our complete cellular description of 3D images, we can propose an advanced criterion based on Betti numbers, a topological invariant. Our results show the interest of our approach which gives better results than previous methods