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