Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
101.
01/09/2008
Model-Based Adaptation of Behavioral Mismatching Components
Component-Based Software Engineering focuses on th ...
102.
01/09/2008
103.
01/09/2004
Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
104.
01/09/2004
Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
105.
01/08/2006
106.
01/08/2004
The Numerical Template Toolbox: A Modern C++ Design for Scientific Computing
The design and implementation of high level tools ...
107.
01/07/2014
108.
01/07/2012
Glucose 2.1 SAT Solver won the SAT 2012 Challenge
The new version of Glucose won the SAT Challenge 2 ...
109.
01/07/2008
110.
01/06/2010
111.
01/04/2009
DL-liteR in the Light of Propositional Logic for Decentralized Data Management
This paper provides a decentralized data model and ...
112.
01/04/2007
Copy-and-Paste Between Overlapping Windows
Copy-and-paste, one of the fundamental operations ...
113.
01/02/2010
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
Boogie is a verification condition generator for a ...
114.
01/01/2011
115.
01/01/2007
SomeRDFS in the Semantic Web
The Semantic Web envisions a world-wide distribute ...
116.
01/01/2006
117.
01/01/1970
118.
119.
120.
121.
Première page - Précédant - 1 - 2 - 3 - 4 - 5 [Page 5 sur 5]