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 « specifications »
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.
specification < specifications < specificities  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 101.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000132 (1998) Nathan Charles [Royaume-Uni] ; Howard Bowman [Royaume-Uni] ; Simon Thompson [Royaume-Uni]From ACT-ONE to Miranda, a translation experiment
000248 (2000) Sergio C. Brofferio [Italie] ; Uberto Lauro Grotto [Italie] ; Luca Maderna [Italie]Telepresence teaching visual equipment
000307 (1992) Hassan Gomaa ; Larry Kerschberg ; Vijayan SugumaranKnowledge-based approach to domain modeling: Application to nasa's payload operations control centers
000368 (1998) Despina Polemi [Grèce]Trusted third party services for health care in Europe
000534 (1990) Nancy E. Thalman [États-Unis] ; Thomas P. Sparn [États-Unis]Science user resource expert (SURE): A science planning and scheduling assistant for a resource based environment
000743 (2001) Ioannis Papadakis [Grèce] ; Vassilios Chrissikopoulos [Grèce] ; Despoina Polemi [Grèce]Secure medical digital libraries
000A89 (2011) Alfons Laarman [Pays-Bas] ; Jaco Van De Pol [Pays-Bas] ; Michael Weber [Pays-Bas]Multi-Core LTS min : Marrying Modularity and Scalability
000B19 (2002) Shinyoung Lim [Corée du Sud] ; Youjin Song [Corée du Sud]Experience from Mobile Application Service Framework in WIP
000B88 (2010) Birgit Bomsdorf [Allemagne]RTM E : Extension of Role-Task Modeling for the Purpose of Access Control Specification
000C05 (2005) Marko Smiljani [Pays-Bas] ; Maurice Van Keulen [Pays-Bas] ; Willem Jonker [Pays-Bas]Formalizing the XML Schema Matching Problem as a Constraint Optimization Problem
000C07 (2001) Jens Grabowski [Allemagne] ; Peter Graubmann [Allemagne] ; Ekkart Rudolph [Allemagne]HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
000C15 (2001) John Wilkes [États-Unis]Traveling to Rome: QoS Specifications for Automated Storage System Management
000C20 (2011) Ingrid Nunes [Brésil] ; Elder Cirilo [Brésil] ; Carlos J. P. De Lucena [Brésil] ; Jan Sudeikat [Allemagne] ; Christian Hahn [Allemagne] ; Jorge J. Gomez-Sanz [Espagne]A Survey on the Implementation of Agent Oriented Specifications
000C40 (2005) Constantin Werner [Allemagne] ; Xiaoming Fu [Allemagne] ; Dieter Hogrefe [Allemagne]Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP
000C43 (2000) Cristian Hesselman [Pays-Bas] ; Ing Widya [Pays-Bas] ; Aart Van Halteren [Pays-Bas] ; Bart Nieuwenhuis [Pays-Bas]Middleware Support for Media Streaming Establishment Driven by User-Oriented QoS Requirements
000E01 (2008) Thomas Memmel [Allemagne] ; Carsten Bock [Allemagne] ; Harald Reiterer [Allemagne]Model-Driven Prototyping for Corporate Software Specification
000E58 (2006) Constantin Werner [Allemagne] ; Sebastian Kraatz [Allemagne, Namibie] ; Dieter Hogrefe [Allemagne]A UML Profile for Communicating Systems
000E82 (2006) Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège] ; Rolv Br K [Norvège]Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services
000F19 (2004) Rebeca P. Díaz Redondo [Espagne] ; Martín L Pez Nores [Espagne] ; José J. Pazos Arias [Espagne] ; Ana Fernández Vilas [Espagne] ; Jorge García Duque [Espagne] ; Alberto Gil Solla [Espagne] ; Belén Barragáns Martínez [Espagne] ; Manuel Ramos Cabrer [Espagne]Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage
000F79 (2006) Dieter Hutter [Allemagne]Possibilistic Information Flow Control in MAKS and Action Refinement
001041 (2010) Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège]Reactive Semantics for Distributed UML Activities

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

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