Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userArchitecture Logicielles pour des Applications heterog`enes, distribuees et reconfigurables
126
0
0.0
(
0
)
Added by
Philippe Roose
Publication date
2008
fields
Informatics Engineering
and research's language is
English
Authors
Christine Louberry
Ask ChatGPT about the research
No Arabic abstract
The recent apparition of mobile wireless sensor aware to their physical environment and able to process information must allow proposing applications able to take into account their physical context and to react according to the changes of the environment. It suppose to design applications integrating both software and hardware components able to communicate. Applications must use context information from components to measure the quality of the proposed services in order to adapt them in real time. This work is interested in the integration of sensors in distributed applications. It present a service oriented software architecture allowing to manage and to reconfigure applications in heterogeneous environment where entities of different nature collaborate: software components and wireless sensors.
rate research
Read More
Petri-nets are a simple formalism for modeling concurrent computation. Recently, they have emerged as a powerful tool for the modeling and analysis of biochemical reaction networks, bridging the gap between purely qualitative and quantitative models. These networks can be large and complex, which makes their study difficult and computationally challenging. In this paper, we focus on two structural properties of Petri-nets, siphons and traps, that bring us information about the persistence of some molecular species. We present two methods for enumerating all minimal siphons and traps of a Petri-net by iterating the resolution of a boolean model interpreted as either a SAT or a CLP(B) program. We compare the performance of these methods with a state-of-the-art dedicated algorithm of the Petri-net community. We show that the SAT and CLP(B) programs are both faster. We analyze why these programs perform so well on the models of the repository of biological models biomodels.net, and propose some hard instances for the problem of minimal siphons enumeration.
From 2010, the medical transport has become one of the top ten priorities of the risk management plan in France because of the increase in the cost. For social and medico-social institutions (MSI), this cost represents the second after that of the wages. In this context, the project NOMAd aims an overall improvement of the daily transport of people between their home and their (MSI). To this end, we propose the sharing of transport between several ESMS. This mutualization of transport makes possible to gather and optimize routes in a certain geographical area. The challenge is to improve economic performance while maintaining economic, social and environmental goals. From a scientific point of view, the studied problem is called the Time-Consistent-Dial-a-Ride Problem and aims to find a compromise between the objectives of the cost of transport and the consistency of the service. Given the complexity of the problem, we seek, first of all, to solve the problem for half a day. Then we consider the whole week. To solve these problems, we use the Large Neighborhood Search meta-heuristic and a master problem based on the Set Covering Problem.
In the framework of semiclassical resonances, we make more precise the link between polynomial estimates of the extension of the resolvent and propagation of the singularities through the trapped set. This approach makes it possible to eliminate infinity and to concentrate the study near the trapped set. It has allowed us in previous papers to obtain the asymptotic of resonances in various geometric situations.
In this paper, we propose a refinement-based adaptation approach for the architecture of distributed group communication support applications. Unlike most of previous works, our approach reaches implementable, context-aware and dynamically adaptable architectures. To model the context, we manage simultaneously four parameters that influence Qos provided by the application. These parameters are: the available bandwidth, the exchanged data communication priority, the energy level and the available memory for processing. These parameters make it possible to refine the choice between the various architectural configurations when passing from a given abstraction level to the lower level which implements it. Our approach allows the importance degree associated with each parameter to be adapted dynamically. To implement adaptation, we switch between the various configurations of the same level, and we modify the state of the entities of a given configuration when necessary. We adopt the direct and mediated Producer- Consumer architectural styles and graphs for architecture modelling. In order to validate our approach we elaborate a simulation model.
This is the memoir of my habilitation thesis, defended on March 29 th, 2013 (Universite Paris XI).
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
