Výsledky vyhledávání - "Rémi Douence"

CoqTL: A Coq DSL for Rule-Based Model Transformation

Autor: Massimo Tisi, Zheng Cheng, Rémi Douence

Publikováno v: Software and Systems Modeling
Software and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩
Software and Systems Modeling, Springer Verlag, In press, pp.1-15. ⟨10.1007/s10270-019-00765-6⟩

In model-driven engineering, model transformation (MT) verification is essential for reliably producing software artifacts. While recent advancements have enabled automatic Hoare-style verification for non-trivial MTs, there are certain verification

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::02b32df11658d305dacd7ab9b4e9ff76
https://hal.science/hal-02333564

Zobrazit plný text záznamu

Time-Series Constraints: Improvements and Application in CP and MIP Contexts

Autor: Nicolas Beldiceanu, Justin Pearson, Ekaterina Arafailova, María Andreína Francisco Rodríguez, Pierre Flener, Helmut Simonis, Rémi Douence

Publikováno v: CPAIOR 2016-13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming
CPAIOR 2016-13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, May 2016, Banff, Canada. pp.18-34, ⟨10.1007/978-3-319-33954-2⟩
Integration of AI and OR Techniques in Constraint Programming ISBN: 9783319339535
CPAIOR
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Integration of AI and OR Techniques in Constraint Programming
Integration of AI and OR Techniques in Constraint Programming

International audience; A checker for a constraint on a variable sequence can often be compactly specified by an automaton, possibly with accumulators, that consumes the sequence of values taken by the variables; such an automaton can also be used to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f51f2c09257fbe66b807fd6efd21e0a
https://inria.hal.science/hal-01355262/document

Zobrazit plný text záznamu

Using finite transducers for describing and synthesising structural time-series constraints

Autor: Nicolas Beldiceanu, Helmut Simonis, Rémi Douence, Mats Carlsson

Publikováno v: Constraints
Constraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩
Constraints, Springer Verlag, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩

International audience; We describe a large family of constraints for structural time series by means of function composition. These constraints are on aggregations of features of patterns that occur in a time series, such as the number of its peaks,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5b3c57b5d1e6e0afc62643719f9ca37
https://hal.inria.fr/hal-01370322

Zobrazit plný text záznamu

Static analysis of aspect interaction and composition in component models

Autor: Gilles Ardourel, Abdelhakim Hannousse, Rémi Douence

Publikováno v: GPCE
the 10th International Conference on Generative Programming and Component Engineering (GPCE'11)
the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp.18

Component based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and the reusability of software entities, the latter enables the modularity of crosscutting concerns t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::534b6fad3d3929dac8d9ab21d73db4f7
https://doi.org/10.1145/2189751.2047871

Zobrazit plný text záznamu

The next 700 Krivine machines

Autor: Pascal Fradet, Rémi Douence

Publikováno v: Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation, 2007, 20 (3), pp.237-255. ⟨10.1007/s10990-007-9016-y⟩

International audience; The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure lambda-terms. While its original description has remained unpublished, this machine has served as a basis for many

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89187cc510cabccec8a45822df76c757
https://doi.org/10.1007/s10990-007-9016-y

Zobrazit plný text záznamu

Dynamic adaptation of the squid Web cache with Arachne

Autor: Marc Ségura-Devillechaise, Egon Wuchner, Nicolas Loriant, Jean-Marc Menaud, Thomas Fritz, Rémi Douence, Mario Südholt

Publikováno v: IEEE Software
IEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)

The Arachne aspect-oriented programming system developers modularize changes to networking software with little perceptible performance overhead. Writing good software is often a challenge; writing adaptable software can be even more difficult. In le

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5984dceb8141ae1dcf2e3ca6d26e9ff
https://doi.org/10.1109/ms.2006.9

Zobrazit plný text záznamu

Lazier Imperative Programming

Autor: Nicolas Tabareau, Rémi Douence

Publikováno v: [Research Report] RR-8569, INRIA. 2014
HAL
PPDP
Principles and Practice of Declarative Programming (PPDP)
Principles and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom

Laziness is a powerful concept in functional programming that enables reusing general functions in a specific context, while keeping performance close to the efficiency of dedicated definitions. Lazy evaluation can be used in imperative programming t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae53d601c084c559a96fb215be40d0d5
https://inria.hal.science/hal-01025633v2/document

Zobrazit plný text záznamu

Reference monitors for security and interoperability in OAuth 2.0

Autor: Ronan-Alexandre Cherrueau, Yves Roudier, Mario Südholt, Jean-Claude Royer, Anderson Santana de Oliveira, Rémi Douence, Matteo Dell'Amico

Publikováno v: Data Privacy Management and Autonomous Spontaneous Security ISBN: 9783642545672
DPM/SETOP
SETOP-6th International Workshop on Autonomous and Spontaneous Security-2013
SETOP-6th International Workshop on Autonomous and Spontaneous Security-2013, Sep 2013, Egham, United Kingdom

International audience; The OAuth 2.0 protocol is a recent IETF standard devoted to providing authorization to clients requiring access to specific resources over HTTP. It was recently adopted by major internet players like Google, Facebook, and Micr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bdd406351cedf89d29cd713e22895803
https://hdl.handle.net/11567/1071010

Zobrazit plný text záznamu

Propagation Engine Prototyping with a Domain Specific Language

Autor: Xavier Lorca, Narendra Jussien, Charles Prud'homme, Rémi Douence

Publikováno v: Constraints
Constraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩

International audience; Constraint propagation is at the heart of constraint solvers. Two main trends co-exist for its implementation: variable-oriented propagation engines and constraint-oriented propagation engines. Those two approaches ensure the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a23e151aacee2e265e22562d4c4205be
https://hal.science/hal-00867604/file/cons2013_propeng.pdf

Zobrazit plný text záznamu

[Untitled]

Autor: Mario Südholt, Rémi Douence

Publikováno v: Higher-Order and Symbolic Computation. 14:7-34

Computational reflection is gaining interest in practical applications as witnessed by the use of reflection in the Java programming environment and recent work on reflective middleware. Reflective systems offer many different reflection programming

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::76dda0fddf0f3381377d06bd655f8ba2
https://doi.org/10.1023/a:1011549115358

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání