-
An Experiment in Automatic Generation of Test Suites for Protocols with Verif...
In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based... -
The Architecture of an Implementation of LambdaProlog: Prolog/Mali
Disponible dans les fichiers attachés à ce document -
Le système des brevets : idées reçues et critiques
Cet article propose une réflexion générale sur le système des brevets. Trois questions sont d'abord examinées : 1. Le brevet favorise-t-il l'innovation ? 2. La... -
Communication in Parallel Algorithms for Constraint-Based Local Search
International audience -
The Limits of Ex-Post Implementation
The sensitivity of Bayesian implementation to agents' beliefs about others suggests the use of more robust notions of implementation such as ex post implementation,... -
Training health professionals in shared decision-making: An international env...
International audience -
Computing Closed-Form Solutions of Integrable Connections
International audience -
Understanding similarities in the local implementation of a healthy environme...
International audience -
Intellectual Capital Performance Measurement in Strategy Implementation
This dataset has no description
-
Revisiting LFSRs for Cryptographic Applications
International audience -
Meta-model Driven Reverse Engineering Approach to Ensure the Waveform Portabi...
International audience -
Design and Implementation of the GNU Prolog System
International audience -
Compiling Constraints in clp(FD)
International audience -
Implementation Specification of Channel Reflector
In this document, we detail an implementation specification of ``Channel Reflector''. Channel Reflector (CR) offers an effective policy and scope control technique for... -
Near-Optimal Parameterization of the Intersection of Quadrics: IV. An Efficie...
We present the first complete, robust, and efficient C++ implementation for parameterizing the intersection of two implicit quadrics with integer coefficients of... -
Intervention dose estimation in health promotion programmes: a framework and ...
International audience -
Insitutionalizations Compared : Implementating the EU's 2008 Wine Reform
International audience
