A Blocking-based Approach to Protocol Validation (Unbekannt)
- Neue Suche nach: Ye, Q.
- Neue Suche nach: Lei, Y.
- Neue Suche nach: Kung, D.
- Neue Suche nach: Ye, Q.
- Neue Suche nach: Lei, Y.
- Neue Suche nach: Kung, D.
In:
HIGH ASSURANCE SOFTWARE SYSTEMS
5
;
541-553
;
2006
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A Blocking-based Approach to Protocol Validation
-
Beteiligte:
-
Erschienen in:HIGH ASSURANCE SOFTWARE SYSTEMS , 5 ; 541-553COMPUTER JOURNAL ; 49, 5 ; 541-553
-
Verlag:
- Neue Suche nach: Oxford University Press
-
Erscheinungsdatum:01.01.2006
-
Format / Umfang:13 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Unbekannt
- Neue Suche nach: 510.78 / 510
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 49, Ausgabe 5
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 505
-
Capsule ReviewsKamareddine, Fairouz et al. | 2006
- 507
-
High Assurance Software SystemsChen, Ing-Ray / Cukic, Bojan et al. | 2006
- 509
-
An Empirical Performance Study on PSIMXia, Jinchun / Chang, Carl K. / Wise, Jeff / Ge, Yujia et al. | 2006
- 527
-
Design and Evaluation of a Low-Latency Checkpointing Scheme for Mobile Computing SystemsLi, Guohui / Shu, LihChyun et al. | 2006
- 541
-
A Blocking-based Approach to Protocol ValidationYe, Qizhi / Lei, Yu / Kung, David et al. | 2006
- 554
-
Protecting Users against Phishing AttacksKirda, Engin / Kruegel, Christopher et al. | 2006
- 562
-
A Document-Oriented Paradigm for the Construction of Content-Intensive ApplicationsSierra, José Luis / Fernández-Valmayor, Alfredo / Fernández-Manjón, Baltasar et al. | 2006
- 585
-
The L(h, k)-Labelling Problem: A Survey and Annotated BibliographyCalamoneri, Tiziana et al. | 2006
- 609
-
The Stepwise Dimensionality Increasing (SDI) Index for High-Dimensional DataThomasian, Alexander / Zhang, Lijuan et al. | 2006
- 619
-
Fuzzifying P SystemsSyropoulos, Apostolos et al. | 2006
- 629
-
FEM t="s">RANZ REM t="s">OTHLAUF Representations for Genetic and Evolutionary Algorithms. Springer Verlag (2006, second edition). ISBN 3-540-25059-X. 103.95-129.00-£77.00. 325 pp. Hardbound.Mahdoum, Ali et al. | 2006
- 629
-
FRANZ ROTHLAUF Representations for Genetic and Evolutionary Algorithms. Springer Verlag (2006, second edition). ISBN 3-540-25059-X. {euro}103.95/$129.00/{pound}77.00. 325 pp. Hardbound.Mahdoum, Ali et al. | 2006
- 629
-
W. EM t="s">van WEM t="s">ezel, R. J. JEM t="s">orna and A. M. MEM t="s">eystel Planning in Intelligent Systems: Aspects, Motivations, and Methods. John Wiley and Sons, Inc. (2006). ISBN 0-471-73427-6. £64.95-91.70-US 110.00. 592 pp. Hardbound.Gazi, Boran et al. | 2006
- 629-a
-
W. VAN WEZEL, R. J. JORNA AND A. M. MEYSTEL Planning in Intelligent Systems: Aspects, Motivations, and Methods. John Wiley and Sons, Inc. (2006). ISBN 0-471-73427-6. {pound}64.95/{euro}91.70/US $110.00. 592 pp. Hardbound.Gazi, Boran et al. | 2006