Pascal André

Learn More
An efficient mechanism for method lookup is csscntial in any reasonable implementation of a clussbased object-oriented language. One tcchniquc, static caches, provide constant time lookup, but consumes cxcessive memory. To alleviate the memory consumption problem many systems USC a coloring schcmc that allows cache rows to be shared and thus reduces the(More)
Component-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The current work addresses the composability of components and their services. A component model (Kmelia) is introduced; an associated formalism, simple but expressive is(More)
We address in this article the description and usage of component protocols viewed as specific services. In addition to inter-component service composition, our Kmelia component model supports vertical structuring mechanisms that allow service composition inside a component. The structuring mechanisms (namely state annotation and transition annotation) are(More)
Software coordination and adaptation are tightly related to modular software entities and access points. These entities (components or services) may be complex, dissimilar (various models) and designed at different granularity levels. In order to allow interoperability we need rich interface descriptions including service hierarchisation, flexible(More)
Safe and effective manipulation of soft tissue during laparoscopic procedures can be achieved by the use of mucoadhesive polymer films. A series of novel adhesive polymer films were formulated in house based on either Carbopol or Chitosan modified systems. The mechanical properties of the polymers and their adherence to bowel were evaluated using ex-vivo(More)
Iron-platinum alloy nanoparticles (FePt NPs) are extremely promising candidates for the next generation of contrast agents for magnetic resonance (MR) diagnostic imaging and MR-guided interventions, including hyperthermic ablation of solid cancers. FePt has high Curie temperature, saturation magnetic moment, magneto-crystalline anisotropy, and chemical(More)