On the partial correctness of the alternating bit protocol [abstract] /

QR kód

On the partial correctness of the alternating bit protocol [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Lakatos Attila Tőke Pál
Testületi szerző:	Conference of PhD students in computer science (1.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 1998
Sorozat:	Conference of PhD Students in Computer Science 1
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59542

Hasonló tételek

Robustness of BitTorrent-like VoD protocols
Szerző: Vinkó Tamás
Megjelent: (2016)

On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978)

On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981)

Small degree BitTorrent [abstract] /
Szerző: Bilicki Vilmos, et al.
Megjelent: (2010)

Routing protocols [abstract] /
Szerző: Kurucz Gábor, et al.
Megjelent: (2004)

Built-in scheduling for protocol design [abstract] /
Szerző: Németh Endre
Megjelent: (1998)

Correctness-proven code generation for MDA [abstract] /
Szerző: Balogh András
Megjelent: (2004)

Programming language elements for correctness proofs [abstract] /
Szerző: Dévai Gergely
Megjelent: (2006)

Regular grammar model for protocol testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (1998)

Using Java and Erlang in protocol testing [abstract] /
Szerző: Werner Zsolt
Megjelent: (1998)

Analytical comparison of the IP mobility protocols [abstract] /
Szerző: Keszei Csaba
Megjelent: (2004)

Applicability of UML in protocol and test development [abstract] /
Szerző: Kasza Tamás, et al.
Megjelent: (2002)

Performance testing architecture for communication protocols [abstract] /
Szerző: Szabó János Zoltán
Megjelent: (2002)

Wireless application protocol performance testing [abstract] /
Szerző: Farkas Lóránt, et al.
Megjelent: (2000)

On the performance of IP micro mobility protocols [abstract] /
Szerző: Burulitisz Alexandrosz, et al.
Megjelent: (2002)

Inline expressions in protocol test specification [abstract] /
Szerző: Fazakas Antal, et al.
Megjelent: (2002)

Frames for protocol description
Szerző: Wagner-Dibuz Sally
Megjelent: (1990)

Alternative method for modeling dynamic systems [abstract] /
Szerző: Fekete Gusztáv, et al.
Megjelent: (2024)

The cost-effective and component based intelligent Tutoring Shell - the GET-BITS model [abstract] /
Szerző: Jerinic Ljubomir, et al.
Megjelent: (1998)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

The power of deterministic alternating Tree-walking automata [abstract] /
Szerző: Muzamel Loránd
Megjelent: (2006)

Non-cooperative games for self-adaptive telecommunication protocols [abstract] /
Szerző: Dulai Tibor
Megjelent: (2004)

Programming language elements for correctness proofs
Szerző: Dévai Gergely
Megjelent: (2008)

Alternation bounds for tree automata
Szerző: Salomaa Kai
Megjelent: (1992)

Correction - Invariance groups of threshold functions E. K. Horváth /
Szerző: Fülöp Zoltán
Megjelent: (1995)

Robustness of BitTorrent-like VoD Protocols
Szerző: Vinkó Tamás
Megjelent: (2016)

Radiologic text correction for better machine understanding
Szerző: Kicsi András, et al.
Megjelent: (2024)

Colour space transformation, colour correction and exact colour reproduction on FALCON architecture [abstract] /
Szerző: Kozma Péter
Megjelent: (2002)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

The alternation number and a dot hierarchy of regular sets
Szerző: Bloom Stephen L.
Megjelent: (1986)

Pebble alternating tree-walking automata and their recognizing power
Szerző: Muzamel Loránd
Megjelent: (2008)

On the Heapability of Finite Partial Orders
Szerző: Balogh János, et al.
Megjelent: (2020)

Relations of testability and quality parameters of SDL implementation at the early stage of protocol development life cycle [abstract] /
Szerző: Harmatné Medve Anna
Megjelent: (2002)

Object oriented model for parameter estimation of partially separable functions [abstract] /
Szerző: Järvi Jaakko
Megjelent: (1998)

A comparative study of spanning tree and gossip protocols for aggregation
Szerző: Nyers Lehel, et al.
Megjelent: (2015)

Protocol state machine reverse engineering with a teaching-learning approach
Szerző: Székely Gábor, et al.
Megjelent: (2021)

Counting distinct squares in partial words
Szerző: Blanchet-Sadri Francine, et al.
Megjelent: (2009)

Correction - Mealy-automata in which the output-equivalence is a congruence I. Babcsányi, A. Nagy /
Szerző: Fülöp Zoltán
Megjelent: (1995)

Partially ordered pattern algebras
Szerző: Vármonostory Endre
Megjelent: (2008)

Derivable partial locking for algebraic data types
Szerző: Németh Boldizsár, et al.
Megjelent: (2015)