providesa < providing < proview

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 125.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000016 (2004)	Frédéric Blanqui [France]	A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000030 (2009)	Ehtesham Zahoor [France] ; Olivier Perrin [France] ; Claude Godart [France]	An Integrated Declarative Approach to Web Services Composition and Monitoring
000095 (2003)	Soha Maad [Allemagne]	Universal Access to Multimodal ITV Content: Challenges and Prospects
000249 (1999)	Mark Van Den Brand ; Didier Parigot	Preface
000291 (2011)	Mathieu Lagrange [France] ; Roland Badeau [France] ; Bertrand David [France] ; Nancy Bertin [France] ; Olivier Derrien [France] ; Sylvain Marchand [France] ; Laurent Daudet [France]	Décompositions en éléments sonores et applications musicales
000301 (2008)	Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] ; Aurélien Vasseur [France]	A Parallel Incremental Learning Algorithm for Neural Networks with Fault Tolerance
000306 (2006)	Holger Giese [Allemagne] ; Martin Hirsch [Allemagne]	Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
000383 (2007)	Lionel Vaux [France]	Convolution $\bar\lambda\mu$-Calculus
000427 (2007)	Guillaume Hanrot [France] ; Damien Stehlé [France]	Improved Analysis of Kannan’s Shortest Lattice Vector Algorithm
000497 (2008)	Sami Bhiri [Irlande (pays)] ; Walid Gaaloul [Irlande (pays)] ; Mohsen Rouached [France] ; Manfred Hauswirth [Irlande (pays)]	Semantic Web Services for Satisfying SOA Requirements
000512 (1996)	O. Neumann [Allemagne] ; S. Sachweh [Allemagne] ; W. Sch Fer [Allemagne]	A high-level object-oriented specification language for configuration management and tool integration
000574 (2011)	Shahram Nourizadeh [France] ; Ye-Qiong Song [France] ; Jean-Pear Thomesse [France]	CodaQ: A Context-Aware and Adaptive QoS-Aware Middleware for Activity Monitoring
000664 (1967)	L. Zernow [États-Unis] ; E. A. Tkachenko [États-Unis] ; Nancy B. Brooks [États-Unis] ; R. L. Lansdale [États-Unis] ; G. E. Lewis [États-Unis]	Application of two-dimensional computations to the study of sub-critical initiation and fadeout in a homogeneous explosive
000762 (1995)	David Duffy [Royaume-Uni] ; Craig Macnish [Royaume-Uni] ; John Mcdermid [Royaume-Uni] ; Philip Morris [Royaume-Uni]	A framework for requirements analysis using automated reasoning
000776 (2010)	Marc Sauget [France] ; Rémy Laurent [France] ; Julien Henriet [France] ; Michel Salomon [France] ; Régine Gschwind [France] ; Sylvain Contassot-Vivier [France] ; Libor Makovicka [France] ; Charles Soussen [France]	Efficient Domain Decomposition for a Neural Network Learning Algorithm, Used for the Dose Evaluation in External Radiotherapy
000828 (2004)	Eric Clavier [France] ; Gérald Masini [France] ; Mathieu Delalandre [France] ; Maurizio Rigamonti [Suisse] ; Karl Tombre [France] ; Joël Gardes [France]	DocMining: A Cooperative Platform for Heterogeneous Document Interpretation According to User-Defined Scenarios
000884 (2005)	Domenico Cantone [Italie] ; Calogero G. Zarba [France] ; Rosa Ruggeri Cannata [Belgique]	A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership
000934 (2009)	Stefan Winkler [Allemagne] ; Jens Von Pilgrim [Allemagne]	A survey of traceability in requirements engineering and model-driven development
000982 (1988)	Bertrand Meyer	Eiffel: A language and environment for software engineering
000A55 (1992)	Claude Kirchner [France] ; Patrick Viry [France]	Implementing parallel rewriting
000B21 (1999)	Mark Van Den Brand ; Rakesh Verma	Preface

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "providing" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "providing" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    providing
}}

---

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