We propose a type-based resource usage analysis for the πcalculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension of previous behavioral type systems for the pi-calculus, and can guarantee the safety property that no inva...

We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension of previous behavioral type systems for the pi-calculus, and can guarantee the safety property that no inv...

The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to find bounds of the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and opera...

The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to estimate bounds for the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and ...

The Complier Average Causal Effect (CACE) method has been increasingly used in prevention research to provide more accurate causal intervention effect estimates in the presence of noncompliance. The purpose of this study was to provide an applied demonstration of the CACE analytic approach to evaluate the relative effects of a family-based prevention intervention, Familias Unidas, in preventing...

In this paper we are going to show how to discover interesting prediction rules in student usage information, and use them to improve adaptive web courses. We have used AHA! to make a course that adapts both the presentation and the navigation depending on the level of knowledge that each particular student has. We have made several changes in AHA! to improve its power in the educational area. ...