AbsEn.i
Curation
Istex
Racine
Curation
Checkpoint
Istex
Racine
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la télématique - Curation (Istex)

Index « AbsEn.i » - entrée « modeled »
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.
model < modeled < modeler  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]
Ident.Authors (with country if any)Title
000435 (1994) A. Youn Chan Jung [Corée du Sud] ; A. Chong Kwan Un [Corée du Sud]Performance analysis of packet switches with input and output buffers
000B93 (2004) Chi Hun Ahn [Corée du Sud] ; Young Min Ki [Corée du Sud] ; Dong Ku Kim [Corée du Sud]Analysis on Call Blocking Probability of Streaming Data Service in CDMA System Interworking with WLAN for Different Cell Geometry
000C72 (2011) Melanie Smith [États-Unis] ; Roger Mailler [États-Unis]The Effect of Congestion Frequency and Saturation on Coordinated Traffic Routing
000D71 (2006) Clemens Sch Fer [Allemagne]Modeling and Analyzing Mobile Software Architectures
000D81 (2007) Reinaldo Vallejos [Chili] ; Alejandra Zapata [Chili] ; Marco Aravena [Chili]Fast and Effective Dimensioning Algorithm for End-to-End Optical Burst Switching Networks with ON-OFF Traffic Model
000F11 (1993) Jon Atle Gulla [Norvège] ; Geir Willumsen [Norvège]Using explanations to improve the validation of executable models
000F60 (2003) Hesham Hallal [Canada] ; Sergiy Boroday [Canada] ; Andreas Ulrich [Allemagne] ; Alexandre Petrenko [Canada]An Automata-Based Approach to Property Testing in Event Traces
001A08 (1996) R. J. Abbott [États-Unis] ; M. L. Campbell [États-Unis] ; W. C. Krenz [États-Unis]A sustainable genetic algorithm for satellite resource allocation
001B09 (2001) Alfio Lombardo [Italie] ; Giacomo Morabito [États-Unis] ; Giovanni Schembra [Italie]Statistical traffic modeling and guaranteed service disciplines: a performance evaluation paradigm
001F51 (2007) Sergio Machado [États-Unis] ; Javier Oz N ; Xavier HesselbachStructured Peer-to-Peer Network for Live-Content Distribution
002206 (2009) Nikitas N. Karanikolas [Grèce] ; Michael Gr. Vassilakopoulos [Grèce]Conceptual Universal Database Language: Moving Up the Database Design Levels
002292 (2002) Fabio Martinelli [Italie]Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems
002350 (2008) Donna M. Carter [États-Unis] ; Ramazan Aygun [États-Unis] ; Glenn Cox [États-Unis] ; Mary Ellen Weisskopf [États-Unis] ; Letha Etzkorn [États-Unis]The effect of uncontrolled concurrency on model checking
003067 (1999) J. F. Díez Higuera [Espagne] ; F. J. Díaz Pernas [Espagne]Method for automatic karyotyping of human chromosomes based on the visual attention system
003080 (2011) Marten Sijtema [Pays-Bas] ; Mariëlle I. A. Stoelinga [Pays-Bas] ; Axel Belinfante [Pays-Bas] ; Lawrence Marinelli [États-Unis]Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.
003236 (2007) Volker Gruhn [Allemagne] ; Clemens Sch Fer [Allemagne]Using Mobile Architecture Modeling and Simulation for Enterprise Applications
003312 (2009) Elie Bursztein [France]Extending Anticipation Games with Location, Penalty and Timeline
003B03 (1997) J. Fabrega [Espagne] ; M. Zaragozà [Espagne]Fault-tolerant routings in double fixed-step networks
004297 (1998) Mehmet Aksit [Pays-Bas] ; Francesco Marcelloni [Italie] ; Bedir Tekinerdogan [Pays-Bas] ; Klaas Van Den Berg [Pays-Bas] ; Pim Van Den Broek [Pays-Bas]Active Software Artifacts
004421 (2010) Dániel Horváth [Hongrie] ; Imre Bertalan [Hongrie] ; István Moldován [Hongrie] ; Tuan Anh Trinh [Hongrie]An Energy-Efficient FPGA-Based Packet Processing Framework
004572 (2010) Konstantinos Moustakas [Grèce] ; Dimitrios Tzovaras [Grèce]Virtual Simulation of Cultural Heritage Works Using Haptic Interaction

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

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

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