Filtrer vos résultats
- 23
- 5
- 18
- 8
- 2
- 8
- 28
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 25
- 2
- 1
- 24
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 28
- 8
- 5
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
28 résultats
|
|
|
triés par
|
Modélisation de la reconfiguraton dynamique avec Focal[Research Report] CEDRIC-08-1618, CEDRIC Lab/CNAM. 2008
Rapport
hal-01125578v1
|
|||
Maximal and Compositional Pattern-Based Loop InvariantsFormal method 2012 (FME), Aug 2012, Paris, France. pp.37-51
Communication dans un congrès
hal-01126145v1
|
|||
Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs[Research Report] CEDRIC-12-2555, CEDRIC Lab/CNAM. 2012
Rapport
hal-01126139v1
|
|||
Game Analysis of attacks on Online GamesCGAIMS'05, Louisville, Kentucky, USA, Jan 2005, X, France
Communication dans un congrès
hal-01125067v1
|
|||
|
|
Extending record typing to type parametric modules with sharingthe 20th ACM SIGPLAN-SIGACT symposium, 1993, Charleston, United States. pp.465-478, ⟨10.1145/158511.158704⟩
Communication dans un congrès
hal-02455776v1
|
||
Difficulty in Video Games : An Experimental Validation of a Formal DefinitionAdvances in Computer Enterntainment, Nov 2011, X, France
Communication dans un congrès
hal-01125930v1
|
|||
|
|
Llamado de procedimientos a distancia y abstracción de tipos20th CLEI PANEL latino-american computer science conference, Aug 1994, Mexico, México. pp.1281-1292
Communication dans un congrès
hal-01499967v1
|
||
Modélisations de la reconfiguration dynamique en FocalAFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, Jan 2009, X, France. pp.105-119
Communication dans un congrès
hal-01125647v1
|
|||
Typage des modules parametriques avec partageActes des Journees Francophones des Langages Applicatifs, Annecy, Jan 1993, X, France
Communication dans un congrès
hal-01125077v1
|
|||
La définition et la mesure du niveau de difficulté dans un jeu solo: une approche quantitativeFutur Game On 2010, Sep 2010, Paris, France
Communication dans un congrès
hal-01125863v1
|
|||
Semantics for UML specifications to be validated by AgathaSecond Europeen Congress on Embedded Realtime Software (ERTS 04)., Jan 2004, X, France
Communication dans un congrès
hal-01125068v1
|
|||
Une approche formelle de la reconfiguration dynamique[Research Report] CEDRIC-08-1590, CEDRIC Lab/CNAM. 2008
Rapport
hal-01125570v1
|
|||
A declarative formal approach to dynamic reconfigurationIWOCE '09, Amsterdam, The Netherlands, Jan 2009, X, France. pp.1--10
Communication dans un congrès
hal-01125709v1
|
|||
|
|
Une preuve est une histoireVingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Communication dans un congrès
hal-01333581v1
|
||
Measuring the level of difficulty in single player video gamesLecture Notes in Computer Science, 2011, pp.205-213
Article dans une revue
hal-01125929v1
|
|||
Spécification et vérification de composants : état de l'art[Research Report] CEDRIC-06-1180, CEDRIC Lab/CNAM. 2006
Rapport
hal-01125295v1
|
|||
Une approche formelle de la reconfiguration dynamique{L'objet}, 2008, 14, pp.73-102
Article dans une revue
hal-01125646v1
|
|||
Type isomorphisms for module signaturesSymposium on Programming Language Implementation and Logic Programming (PLILP), Jan 1996, X, France. pp.334-346
Communication dans un congrès
hal-01125079v1
|
|||
|
|
The CAML reference manual[Research Report] RT-0121, INRIA. 1990, pp.491
Rapport
inria-00070046v1
|
||
Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using CoqHigh Integrity Language Technology - ACM SIGAda?s Annual International Conference, Nov 2013, X, Australia. pp.2
Communication dans un congrès
hal-01126336v1
|
|||
Modélisation formelle du contrôle en Fractal[Research Report] CEDRIC-07-1563, CEDRIC Lab/CNAM. 2007
Rapport
hal-01125552v1
|
|||
Scaling the Level of Difficulty in Single Player Video GamesProceedings of the 8th International Conference on Entertainment Computing, Jan 2009, Paris, France. pp.24--35
Communication dans un congrès
hal-01125849v1
|
|||
|
|
Extending record typing to type parametric modules with sharing[Research Report] RR-1905, INRIA. 1993
Rapport
inria-00074768v1
|
||
État de l'art du typage pour l'intéropérabilité entre composants[Research Report] CEDRIC-06-1182, CEDRIC Lab/CNAM. 2006
Rapport
hal-01125296v1
|
|||
Programmation modulaire avec surcharge et liaison tardiveJournées Francophones des Langages Applicatifs., Jan 1996, X, France
Communication dans un congrès
hal-01125080v1
|
|||
Advanced programming features in objective caml.6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, Jan 2002, X, France
Communication dans un congrès
hal-01125081v1
|
|||
Editing First-Order Proofs: Programmed Rules vs Derived RulesInternational Symposium on Logic Programming, Feb 1984, Atlantic City, United States
Communication dans un congrès
hal-02455800v1
|
|||
|
|
Provable Multicore Schedulers with Ipanema: Application to Work ConservationEurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Communication dans un congrès
hal-02554342v1
|