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

List of bibliographic references

Number of relevant bibliographic references: 211.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000252 (1996) Mark A. Nankman [Pays-Bas] ; Lambert J. M. Nieuwenhuis [Pays-Bas]Specification of a distributed storage system
000278 (1995) K. Lano [Royaume-Uni] ; H. Haughton [Royaume-Uni]Formal development in B abstract machine notation
000305 (1991) M. M. Arentoft ; Y. Parrod ; J. Stader ; I. Stokes ; H. VadonOPTIMUM-AIV: A planning and scheduling system for spacecraft AIV
000357 (1984) W. Horak [Allemagne]Concepts of the document interchange protocol for the telematic services — CCITT draft recommendation S.a
000672 (1999) A. Prentza [Grèce] ; S. Palamas [Grèce] ; A. Anagnostaki [Grèce] ; D. Koutsouris [Grèce]Intranet health clinic–A web-based interactive communication environment for the continuation in health care
000793 (1989) Sidney C. Bailin [États-Unis] ; John M. Moore [États-Unis] ; Robert H. Hilberg [États-Unis] ; Elizabeth D. Murphy [États-Unis] ; Shari A. Bahder [États-Unis]A logical model of cooperating rule-based systems
000A77 (2007) Yiwen Wang [Pays-Bas] ; Lora M. Aroyo [Pays-Bas] ; Natalia Stash [Pays-Bas] ; Lloyd Rutledge [Pays-Bas]Interactive User Modeling for Personalized Access to Museum Collections: The Rijksmuseum Case Study
000A96 (2007) Paramai Supadulchai [Norvège] ; Finn Arve Aagesen [Norvège] ; Patcharee Thongtra [Norvège]Towards Policy-Supported Adaptable Service Systems
000B08 (2008) Dumitru Roman [Autriche] ; Michael Kifer [États-Unis]Semantic Web Service Choreography: Contracting and Enactment
000B41 (2000) Marjanca Koetsier [États-Unis, Pays-Bas] ; Paul Grefen [États-Unis, Pays-Bas] ; Jochem Vonk [États-Unis, Pays-Bas]Contracts for Cross-Organizational Workflow Management
000B55 (2008) Luis De La Fuente Valentin [Espagne] ; Yongwu Miao [Pays-Bas] ; Abelardo Pardo [Espagne] ; Carlos Delgado Kloos [Espagne]A Supporting Architecture for Generic Service Integration in IMS Learning Design
000B61 (1996) Oliver Frick [Allemagne]Formal description and interpretation of coordination protocols for teamwork
000B88 (2010) Birgit Bomsdorf [Allemagne]RTM E : Extension of Role-Task Modeling for the Purpose of Access Control Specification
000C00 (2002) Tomas Plachetka [Allemagne](Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling
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
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
000C31 (2011) Philipp Becker [Allemagne] ; Marc Kr Mer [Allemagne]SDL Modules – Concepts and Tool Support
000C33 (2011) Alexander Kraas [Allemagne]The SDL-UML Profile Revisited
000C42 (2000) Nikolay K. Diakov [Pays-Bas] ; Harold J. Batteram [Pays-Bas] ; Hans Zandbelt [Pays-Bas] ; Marten J. Van Sinderen [Pays-Bas]Design and Implementation of a Framework for Monitoring Distributed Component Interactions
000C65 (2009) Dominic Duggan [États-Unis] ; Ye Wu [États-Unis]Causality and Accountability
000D08 (2004) Mazen Malek Shiaa [Norvège] ; Shanshan Jiang [Norvège] ; Paramai Supadulchai [Norvège] ; Joan J. Vila-Armenegol [Norvège]An XML-Based Framework for Dynamic Service Management

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

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