implementable < implementation < implementations

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000031 (2013)	Amélie David [France]	TATL: Implementation of ATL Tableau-Based Decision Procedure
000045 (1992)	David Plainfossé [France] ; Marc Shapiro [France]	Experience with a fault-tolerant garbage collector in a distributed lisp system
000071 (1994)	Edward Cohen [États-Unis]	Computational theory for interpreting handwritten text in constrained domains
000076 (2003)	Uwe Berner [Allemagne] ; Thomas Rieger [Allemagne]	A Scalable Avatar for Conversational User Interfaces
000089 (1991)	Djemel Ziou [France]	Line detection using an optimal IIR filter
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000145 (2005)	Laurent Ciarletta [France] ; Mi-Jung Choi [France]	Automatic Configuration for VPN Using Active XML
000187 (2000)	Manuel Munier [France] ; Karim Baïna [France] ; Khalid Benali [France]	A Negotiation Model for CSCW
000190 (1991)	F. M. Sargos [France] ; A. Rezzoug [France]	Calcul analytique du champ engendré par des aimants dans l'entrefer d'une machine à rotor denté
000194 (2013)	Sanat Kumar Bista [Australie] ; Payam Aghaei Pour [Australie] ; Nathalie Colineau [Australie] ; Surya Nepal [Australie] ; Cecile Paris [Australie]	TrustVis: A Trust Visualisation Service for Online Communities
000196 (1988)	Martin Wirsing ; Rolf Hennicker ; Ruth Breu	Reusable specification components
000203 (2000)	Marilyne Rosselle [France] ; Monique Grandbastien [France]	Experimenting Features from Distinct Software Components on a Single Platform
000204 (2006)	Sen Zhang [République populaire de Chine] ; Yves Laprie [France]	The Implementation of Service Enabling with Spoken Language of a Multi-modal System Ozone
000215 (2009)	Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] ; Eiji Okamoto [Japon] ; Francisco Rodríguez-Henríquez [Mexique]	Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers
000265 (2001)	Ridha Ouni [Tunisie] ; Adel Soudani [Tunisie] ; Salem Nasri [Tunisie] ; Kholdoun Torki [Tunisie, France] ; Mohamed Abid [Tunisie] ; Rached Tourki [Tunisie]	TCP flow control technique for an interworking interface: hardware implementation
000303 (2013)	Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie]	Tableaux for Verification of Data-Centric Processes
000305 (2011)	Michael Vogel [Allemagne] ; Sebastian Schmerl [Allemagne] ; Hartmut König [Allemagne]	Efficient Distributed Signature Analysis
000319 (2008)	Julien Siebert [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France]	Entwined Influences of Users’ Behaviour and QoS: A Multi-model Approach
000375 (1993)	Vassilis Prevelakis [Suisse] ; Dennis Tsichritzis [Suisse]	Perspectives on Software development Environments
000412 (1995)	Juan J. Galán Vega [Espagne] ; Agustín González-Quel	The development of an Artificial Intelligence real-time toolkit: REAKT
000422 (1978)	A. L. Furtado [Brésil]	Formal aspects of the relational model

---

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 "implementation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "implementation" \
         | 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é=    implementation
}}

---

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