DE eng

Search in the Catalogues and Directories

Page: 1 2 3
Hits 1 – 20 of 54

1
Lyntax - A grammar-Based Tool for Linguistics ...
de Sousa, Manuel Gouveia Carneiro; Pereira, Maria João Varanda; Henriques, Pedro Rangel. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021
BASE
Show details
2
Specification-Based Protocol Obfuscation
In: DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks ; https://hal.inria.fr/hal-01848573 ; DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩ (2018)
BASE
Show details
3
Version Variation Visualization (VVV): Case Studies on the Hebrew Haggadah in English
In: https://hal.archives-ouvertes.fr/hal-01307217 ; 2017 (2017)
BASE
Show details
4
Préservation de la cohérence des transformations topologiques et géométriques
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
BASE
Show details
5
Execution Framework of the GEMOC Studio (Tool Demo)
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
BASE
Show details
6
Language-oriented modeling method engineering
Visic, Niksa. - 2016
BASE
Show details
7
IMMERSE: Interactive Mentoring for Multimodal Experiences in Realistic Social Encounters
In: DTIC (2015)
BASE
Show details
8
Auditory Perception in an Open Space: Detection and Recognition
In: DTIC (2015)
BASE
Show details
9
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
BASE
Show details
10
Impact of Machine-Translated Text on Entity and Relationship Extraction
In: DTIC (2014)
BASE
Show details
11
A Component-Based Approach for Specifying DSML's Concrete Syntax
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
BASE
Show details
12
Variability-aware parsing in the presence of lexical macros and conditional compilation
In: http://www.informatik.uni-marburg.de/%7Ekaestner/oopsla11_typechef.pdf (2011)
BASE
Show details
13
Variability-aware parsing in the presence of lexical macros and conditional compilation
In: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf (2011)
BASE
Show details
14
Expanding the Toolkit and Resource Environment to Assist Translation (TREAT) and Its User Base
In: DTIC (2011)
BASE
Show details
15
Verification Architectures: Compositional Reasoning for Real-time Systems
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
BASE
Show details
16
Why Smalltalk wins the host languages shootout
In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009)
BASE
Show details
17
A Sensemaking Visualization Tool with Military Doctrinal Elements
In: DTIC (2008)
BASE
Show details
18
Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios
Moura, César. - : HAL CCSD, 2007
In: https://tel.archives-ouvertes.fr/tel-00156874 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français (2007)
BASE
Show details
19
codation - Verbindung von Code und Zusatzinformation
Wertenauer, Jochen. - : Stuttgart, Germany, Universität Stuttgart, 2007
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2521/DIP-2521.pdf (2007)
BASE
Show details
20
Evaluation of a new assessment scheme for a third-year concurrency course
Strooper, P. A.; Meinicke, L.. - : Australian Computer Society, Inc., 2007
BASE
Show details

Page: 1 2 3

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
54
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern