allowed < allowing < allows

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

List of bibliographic references

Number of relevant bibliographic references: 121.
[40-60] [0 - 20][0 - 50][60-80]

Ident.	Authors (with country if any)	Title
001E31 (2000)	Robert Szab [Hongrie] ; Peter Barta [Hongrie] ; Felician Németh [Hongrie] ; Jozsef Bír [Hongrie]	Worst-Case Deterministic Delay Bounds for Arbitrary Weighted Generalized Processor Sharing Schedulers
001E86 (2010)	Arend Rensink [Pays-Bas]	Compositionality in Graph Transformation
001F90 (2006)	Suzana Andova [Norvège] ; Jos C. M. Baeten [Pays-Bas] ; Tim A. C. Willemse [Pays-Bas]	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
002049 (2000)	Goncalo Quadros [Portugal] ; Antonio Alves [Portugal] ; Joao Silva [Portugal] ; Henrique Matos [Portugal] ; Edmundo Monteiro [Portugal] ; Fernando Boavida [Portugal]	A Queue Management System for Differentiated-Services IP Routers
002105 (1994)	Reidar Conradi [Norvège] ; Marianne Hagaseth [Norvège] ; Chunnian Liu [République populaire de Chine]	Planning support for cooperating transactions in EPOS
002111 (2004)	Habib Bakour [France] ; Nadia Boukhatem [France]	ASMA: An Active Architecture for Dynamic Service Deployment
002138 (2005)	Martín L Pez-Nores [Espagne] ; José J. Pazos-Arias [Espagne] ; Jorge García-Duque [Espagne] ; Belén Barragáns-Martínez [Espagne] ; Rebeca P. Díaz-Redondo [Espagne] ; Ana Fernández-Vilas [Espagne] ; Alberto Gil-Solla [Espagne] ; Manuel Ramos-Cabrer [Espagne]	Tracing Integration Analysis in Component-Based Formal Specifications
002179 (2007)	Priscila C. Berbert [Brésil] ; Leonardo J. R. Freitas Filho [Brésil] ; Tiago A. Almeida [Brésil] ; Márcia B. Carvalho [Brésil] ; Akebo Yamakami [Brésil]	Artificial Immune System to Find a Set of k -Spanning Trees with Low Costs and Distinct Topologies
002250 (2006)	Mike Barnett [États-Unis] ; David A. Naumann [États-Unis] ; Wolfram Schulte [États-Unis] ; Qi Sun [États-Unis]	Allowing State Changes in Specifications
002254 (2009)	David Clark [Royaume-Uni] ; Sebastian Hunt [Royaume-Uni]	Non-Interference for Deterministic Interactive Programs
002609 (2000)	Charles Steinfield [États-Unis] ; Alice P. Chan [États-Unis] ; Robert Kraut [États-Unis]	Computer Mediated Markets: An Introduction and Preliminary Test of Market Structure Impacts
002811 (1999)	A. Sanna [Italie] ; B. Montrucchio [Italie] ; A. Sparavigna [Italie]	A parallel algorithm of texture analysis for liquid crystal investigation
002833 (2000)	B. Trombert-Paviot [France] ; J. M Rodrigues [France] ; J. E Rogers [Royaume-Uni] ; R. Baud [Suisse] ; E. Van Der Haring [Pays-Bas] ; A. M Rassinoux [Suisse] ; V. Abrial [France] ; L. Clavel [France] ; H. Idir [France]	GALEN: a third generation terminology tool to support a multipurpose national coding system for surgical procedures
002844 (1992)	Luiz S. Homem De Mello	Artificial intelligence approach to planning the robotic assembly of large tetrahedral truss structures
002A18 (1997)	David Benyon [Royaume-Uni] ; Debbie Stone [Royaume-Uni] ; Mark Woodroffe [Royaume-Uni]	Experience with developing multimedia courseware for the World Wide Web: the need for better tools and clear pedagogy
002C63 (2001)	Bernd Blobel [Allemagne] ; Peter Pharow [Allemagne] ; Volker Spiegel [Allemagne] ; Kjeld Engel [Allemagne] ; Rolf Engelbrecht [Allemagne]	Securing interoperability between chip card based medical information systems and health networks
002D68 (1989)	Nadine Happell [États-Unis] ; Steve Miksell [États-Unis] ; Candace Carlisle [États-Unis]	Expert system development methodology and the transition from prototyping to operations: Fiesta, a case study
002D71 (1989)	Richard S. Carnahan Jr. [États-Unis] ; Stephen M. Corey [États-Unis] ; John B. Snow [États-Unis]	A rapid prototyping/artificial intelligence approach to space station-era information management and access
002E63 (1994)	Peter G. Eibl	Design and Use of Digitized Road Networks in International RoadTransport
002F21 (1993)	Peter G. Eibl	Road Transport Information Systems for European Distribution
003111 (2012)	The Duy Bui [Viêt Nam] ; Duc Hai Ngo [Viêt Nam] ; Cong Tran [Viêt Nam]	Multi-agent Based Simulation of Traffic in Vietnam

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Curation

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

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

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    allowing
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024