AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « requirement »
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.
required < requirement < requirements  Facettes :

List of bibliographic references indexed by requirement

Number of relevant bibliographic references: 129.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000077 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000078 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000263 (2015-10-26) Patrick Olivier Kamgueu [France] ; Emmanuel Nataf [France] ; Thomas Djotio Ndié [Cameroun]On Design and Deployment of Fuzzy-Based Metric for Routing in Low-Power and Lossy Networks
000C40 (2014-03-20) Jeanne Pellerin [France]Accounting for the geometrical complexity of geological structural modelsin Voronoi-based meshing methods
000F48 (2013-11-04) Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]Deduction Soundness: Prove One, Get Five for Free
000F91 (2013-10-14) Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammar Perspective
001572 (2013) Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Ideal Mode Selection of a Cardiac Pacing System
001645 (2013) Inaya Yahya [Tunisie] ; Sameh Hbaieb Turki [Tunisie, France] ; Anis Charfi [Allemagne] ; Slim Kallel [Tunisie] ; Rafik Bouaziz [Tunisie]An Aspect-Oriented Approach to Enforce Security Properties in Business Processes
001993 (2012-08-23) Dominique Méry [France] ; Neeraj Kumar Singh [France]Critical systems development methodology using formal techniques
002002 (2011-11-14) Mumtaz Ahmad [France]Memory optimization strategies for linear mappings and indexation-based shared documents
002032 (2011-10-26) Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne]Orchestrating Security and System Engineering for Evolving Systems
002177 (2011-08-28) Damien Chablat [France] ; Erika Ottaviano [Italie] ; Guillaume Moroz [France]A comparative study of 4-cable planar manipulators based on cylindrical algebraic decomposition
002565 (2011) F. Bourdillon [France] ; F. Cesselin [France] ; H. P. Cornu [France] ; G. Guérin [France] ; B. Laurent [France] ; J. Le Gall [France] ; A. Letourmy [France] ; B. Paré [France] ; B. Tourniaire [France] ; B. Tran [France]Évaluation du plan d’amélioration de la prise en charge de la douleur 2006–2010
002964 (2010-11-10) Yanjun Li [France]Quality of service support for event detection in wireless sensor network
002B77 (2010-07-14) Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]GridTPT: a distributed platform for Theorem Prover Testing
002C17 (2010-06-28) Nicolas Ray [France] ; Vincent Nivoliers [France] ; Sylvain Lefebvre [France] ; Bruno Lévy [France]Invisible Seams
002C20 (2010-06-28) Alain Giorgetti [France] ; Ahmed Hammad [France] ; Bruno Tatibouët [France]Using SysML for Smart Surface Modeling
002C31 (2010-06-20) François Lamarche [France]Axioms and Models for Concrete Homotopy
002D49 (2010-04-19) Yanjun Li [France] ; Ye-Qiong Song [France] ; Zhu Yi-Hua [République populaire de Chine] ; René Schott [France]Deploying Wireless Sensors for Differentiated Coverage and Probabilistic Connectivity
002D63 (2010-04-01) Mohsen Rouached [France] ; Walid Fdhila [France] ; Claude Godart [France]Web Services Compositions Modelling and Choreographies Analysis
002D65 (2010-04-01) Xuesong Lu [Singapour] ; Tok Wee Hyong [États-Unis] ; Chedy Raïssi [France] ; Stéphane Bressan [Singapour]A Simple, Yet Effective and Efficient, Sliding Window Sampling Algorithm

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "requirement" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "requirement" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    requirement
}}
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