output
20062026
most citedA Generic Model of Contracts for Embedded Systems

30 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2007Show all

11 papers · 1 filter

cs.DC2007

Distributed Slicing in Dynamic Systems

Antonio Fernandez, Vincent Gramoli, Ernesto Jimenez +2

Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with p…

q-bio.QM2007

Towards Structural Classification of Proteins based on Contact Map Overlap

Rumen Andonov, Nicola Yanev, Noël Malod-Dognin

A multitude of measures have been proposed to quantify the similarity between protein 3-D structure. Among these measures, contact map overlap (CMO) maximization deserved sustained…

cs.NI2007

Heuristic Solution to Protect Communications in WDM Networks using P-cycles

Hamza Drid, Bernard Cousin, Miklos Molnar

Optical WDM mesh networks are able to transport huge amount of information. The use of such technology however poses the problem of protection against failures such as fibre cuts.…

math.DS2007

Boundary of central tiles associated with Pisot beta-numeration and purely periodic expansions

S. Akiyama, G. Barat, V. Berthe +1

This paper studies tilings related to the beta-transformation when beta is a Pisot number (that is not supposed to be a unit). Then it applies the obtained results to study the set…

cs.CV2007

Supervised learning on graphs of spatio-temporal similarity in satellite image sequences

Patrick Héas, Mihai Datcu

High resolution satellite image sequences are multidimensional signals composed of spatio-temporal patterns associated to numerous and various phenomena. Bayesian methods have been…

cs.GR2007★ 2 cited

Virtual Environments for Training: From Individual Learning to Collaboration with Humanoids

Stéphanie Gerbaud, Nicolas Mollet, Bruno Arnaldi

The next generation of virtual environments for training is oriented towards collaborative aspects. Therefore, we have decided to enhance our platform for virtual training environm…

math.PR2007★ 6 cited

Mixed States Markov Random Fields with Symbolic Labels and Multidimensional Real Values

Bruno Cernuschi-Frias

New theoretical results are presented here on the recently introduced model called mixed states MRF. Such models were introduced in the context of image motion analysis and are use…

q-bio.QM2007

Recent Advances in Solving the Protein Threading Problem

Rumen Andonov, Guillaume Collet, Jean-François Gibrat +3

The fold recognition methods are promissing tools for capturing the structure of a protein by its amino acid residues sequence but their use is still restricted by the needs of hug…

cs.NI2007

GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Networks

Yann Busnel, Marin Bertier, Eric Fleury +1

Wireless sensor networks (WSN) have recently received an increasing interest. They are now expected to be deployed for long periods of time, thus requiring software updates. Updati…

cs.PL2007

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

Pierre Deransart, Mireille Ducassé, Gérard Ferrand

This report specifies an observational semantics and gives an original presentation of the Byrd's box model. The approach accounts for the semantics of Prolog tracers independently…

cs.SE2007★ 30 cited

A Generic Model of Contracts for Embedded Systems

Albert Benveniste, Benoit Caillaud, Roberto Passerone

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "specul…