verifiable < verification < verified

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

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]

Ident.	Authors (with country if any)	Title
000131 (2011)	Asadullah Shaikh [Danemark] ; Uffe Kock Wiil [Danemark] ; Nasrullah Memon [Danemark]	UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models
000554 (2010)	Roberto Gallo [Brésil] ; Henrique Kawakami [Brésil] ; Ricardo Dahab [Brésil]	On Device Identity Establishment and Verification
000677 (2010)	Michele Bugliesi [Italie] ; Paolo Modesti [Italie]	AnBx - Security Protocols Design and Verification
000B43 (2009)	Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège]	Automated Encapsulation of UML Activities for Incremental Development and Verification
000F63 (2008)	Irene Kotsia [Grèce] ; Stefanos Zafeiriou [Grèce] ; Ioannis Pitas [Grèce]	Discriminant Non-negative Matrix Factorization and Projected Gradients for Frontal Face Verification
001056 (2007)	Ansgar Fehnker [Australie] ; Lodewijk Van Hoesel [Pays-Bas] ; Angelika Mader [Pays-Bas]	Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks
001503 (2006)	Peter Herrmann [Norvège]	Temporal Logic-Based Specification and Verification of Trust Models
001575 (2006)	Young Woon Woo [Corée du Sud] ; Soowhan Han [Corée du Sud] ; Kyung Shik Jang [Corée du Sud]	Off-Line Signature Verification Based on Directional Gradient Spectrum and a Fuzzy Classifier
001761 (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
001A89 (2005)	Shanshan Jiang [Norvège] ; Cyril Carrez [Norvège] ; Finn Arve Aagesen [Norvège]	Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification
001B24 (2005)	Liang Cai [République populaire de Chine] ; Li Mei [République populaire de Chine]	A Robust Registration and Detection Method for Color Seal Verification
001C53 (2004)	Philippe Schnoebelen [France]	The Verification of Probabilistic Lossy Channel Systems
001E35 (2004)	Jesús Arias Fisteus [Espagne] ; Luis Sánchez Fernández [Espagne] ; Carlos Delgado Kloos [Espagne]	Formal Verification of BPEL4WS Business Collaborations
002040 (2003)	Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]	Compositional Verification of Secure Streamed Data: A Case Study with EMSS
002968 (2001)	Roberto Segala [Italie]	Verification of Randomized Distributed Algorithms
002B59 (2001)	David Spelt [Pays-Bas] ; Susan Even [Pays-Bas]	Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
002E91 (2000)	Roland Auckenthaler [Royaume-Uni] ; Michael Carey [Royaume-Uni] ; Harvey Lloyd-Thomas [Royaume-Uni]	Score Normalization for Text-Independent Speaker Verification Systems
003B52 (1997)	David James [Suisse] ; Hans-Peter Hutter [Suisse] ; Frédéric Bimbot [France]	The CAVE speaker verification project — Experiments on the YOHO and SESP corpora
004619 (1994)	K. Niemann [Allemagne] ; Ch. Naujokat [Allemagne] ; G. Pohl [Allemagne] ; C. Wollner [Allemagne] ; D. V. Keyserlingk [Allemagne]	Verification of the Schaltenbrand and Wahren stereotactic atlas
004877 (1993)	Uma G. Gupta [États-Unis]	Validation and verification of knowledge-based systems: A survey
004C98 (1991)	Lewey Gilstrap	Validation and verification of expert systems

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "verification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "verification" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    verification
}}

---

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