-
Situation calculus and personalized web systems
International audience -
A Generic Approach to Build Mobile Applications
Mobile environments are characterized by their variable resources (such as network bandwidth), limited amount of resources (memory, processor), and their... -
A Uniform Approach for Compile-time and Run-time Specialization
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application... -
Rigorous Implementation of Real-Time Systems
Context: Real-time systems are systems that are subject to "real-time constraints"— e.g. operational deadlines from event to system response. Often real-time response... -
Parameter and state estimation for a class of neural mass models
International audience -
An approach for the synthesis of decentralised supervisors for distributed ad...
International audience -
Dynamic Adaptation through Event Recon guration
We introduce a new programming language called INI, which eases the development of self-adaptive software. INI combines both rule-based and event-based programming... -
Bank to turn approach for airplane translational motion in unknown wind
International audience -
Online help for the general public: specific design issues and recommendations
Article dans revue scientifique avec comité de lecture. internationale.
