Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « towards »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
toward < towards < toxicfarm  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 55.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000018 (2015) V. Santos-Moreau ; J. M. Newsam ; J.-C. Charpentier [France]Editorial: Towards the Laboratory of the Future for the Factory of the Future
000086 (2013) Mario Cortes-Cornax [France] ; Ioana Ciuciu [France] ; Sophie Dupuy-Chessa [France] ; Dominique Rieu [France] ; Agnès Front [France]Towards the Integration of Ontologies with Service Choreographies
000087 (2013) Firmino Silva [Portugal] ; Claudia-Melania Chituc [Portugal]Towards the Definition of a Framework Supporting High Level Reliability of Services
000088 (2013) Nanjangud C. Narendra [Inde] ; Lam-Son Lê [Australie] ; Aditya Ghose [Australie] ; Gandhi Sivakumar [Australie]Towards an Architectural Framework for Service-Oriented Enterprises
000089 (2013) Meherun Nesa Lucky [Italie] ; Christina Tziviskou [Italie] ; Flavio De Paoli [Italie]Towards RESTful Communications in Self-managing Pervasive Systems
000090 (2013) Etienne Mabille [France] ; Marc Boyer [France] ; Loïc Fejoz [France] ; Stephan Merz [France]Towards Certifying Network Calculus
000091 (2013) Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne]Towards Automated and Correct Composition of Timed Services
000376 (2012) Theodora Bejan-Angoulvant [France] ; Jean-Philippe Baguet [France] ; Sylvie Erpeldinger [France] ; Jean-Marc Boivin [France] ; Alain Mercier [France] ; Georges Leftheriotis [France] ; Jean-Pierre Gagnol [France] ; Jean-Pierre Fauvel [France] ; Céline Giraud [France] ; Giampiero Bricca [France] ; François Gueyffier [France]The IDEAL Study : Towards Personalized Drug Treatment of Hypertension
000517 (2011) Martín Barrère [France] ; Rémi Badonnel [France] ; Olivier Festor [France]Towards Vulnerability Prevention in Autonomic Networks and Systems
000518 (2011) Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]Towards Verification of the Pastry Protocol Using TLA + 
000519 (2011) Audrey Moui [France] ; Thierry Desprats [France]Towards Self-Adaptive Monitoring Framework for Integrated Management
000520 (2011) Salim Jouili [France] ; Salvatore Tabbone [France]Towards Performance Evaluation of Graph-Based Representation
000521 (2011) Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie]Towards Formal Validation of Trust and Security in the Internet of Services
000769 (2010) Atif Mashkoor [France] ; Abderrahman Matoussi [France]Towards Validation of Requirements Models
000770 (2010) Anton Tarasyuk [Finlande] ; Elena Troubitsyna [Finlande] ; Linas Laibinis [Finlande]Towards Probabilistic Modelling in Event-B
000987 (2009) Armelle Brun [France] ; Anne Boyer [France]Towards Privacy Compliant and Anytime Recommender Systems
000D16 (2008) Emilie Balland [France] ; Yohan Boichut [France] ; Thomas Genet [France] ; Pierre-Etienne Moreau [France]Towards an Efficient Implementation of Tree Automata Completion
000D17 (2008) Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France]Towards Validating a Platoon of Cristal Vehicles Using CSP||B
000D18 (2008) Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie]Towards SMT Model Checking of Array-Based Systems
000F43 (2007) Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France]Towards an Automatic Analysis of Web Service Security
001115 (2007) Lionel Eyraud-Dubois [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Vivien [France]A First Step Towards Automatically Building Network Representations

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "towards" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "towards" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    towards
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022