Yves Raynaud

Learn More
Networks and Services management solutions are now moving from centralised platforms to distributed approaches. In order to reach a higher level of scalability and flexibility, an attractive solution can be based on cooperative intelligent agents. This raises new requirements for communication between management entities, as it implies not only exchange of(More)
Cooperative Management has appeared as a promising paradigm on which Network and System Management (NSM) solutions should be partially or entirely based. This paper proposes a conceptual framework to obtain, from any CIM schemas, NSM frame-based ontologies which can then be used in cooperative management solutions. 1. INTRODUCTION From a technological(More)
This works is in keeping with the extension of Z so as to deal with the speciication and design of real-time safety-critical systems. The Z speciication language has been found useful for specifying large commercial systems, but is weak in its ability to deal with complex features of real-time systems such as concurrency, synchronization between processes(More)
La population porcine des Antilles françaises est représentée principalement par deux types génétiques : le Large White et le porc indigène appelé « porc Créole o ou porc « Planche ». A partir des enregistrements de notre troupeau expérimental, les performances de repro-ductiou de ces deux souches ont été comparées. L'âge et le poids à la puberté sont(More)
Quantifier elimination in the theory of L p (L q)-Banach lattices Abstract: We introduce the class of doubly atomless bands in L p (L q)-Banach lattices and show that this class is axiomatizable by positive bounded sentences in the language of Banach lattices. (Here p = q are fixed and in the interval 1 ≤ p, q < ∞.) The theory of this class is complete(More)
The high complexity of existing managed environments has led to the need to increase the autonomy of network and service management solutions. This short article presents a generic multi-agent organizational framework dedicated to the management domain. This conceptual framework constitutes a first step towards the design of self-managed environments.