Slika na naslovnici

QR koda

Automated derivation of protocols implementing Inteligent Network services /

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Pučko, M. (Author), Kapus-Kolar, Monika. (Author), Kandus, G. (Author)
Format:	Book Chapter
Jezik:	English
Sorodne knjige/članki:	Vsebovano v: Microprocessing and microprogramming
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

Derivation of protocols implementing services with event priorities /
od: Kapus-Kolar, Monika.

Deriving protocols for mobil service users /
od: Kapus-Kolar, Monika.

Bottom-up implementation of new services using protocol derivation algorithms /
od: Kapus-Kolar, Monika.

Automated derivation of protocols handling distributed virtual queues /
od: Kapus-Kolar, Monika.

Service-based protocol derivation using algorithms for distributed implementation of sequential programs /
od: Kapus-Kolar, Monika.

On context-sensitive service-based protocol derivation /
od: Kapus-Kolar, Monika.

Deriving protocols from services in the finite state machine representation /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications including parameters /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications including multirendezvous /
od: Kapus-Kolar, Monika.

A Protocol derivation tool for services supporting mobile users /
od: Kapus-Kolar, Monika.

Deriving protocols with group addressing /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications /
od: Kapus-Kolar, Monika., et al.

Deriving protocol specifications from service specifications with heterogeneous timing requirements /
od: Kapus-Kolar, Monika.

Development of intelligent network services using algebraic service and protocol specification /
od: Frey-Pučko, Marjeta., et al.

Deriving protocol specifications from service specifications with simple relative timing requirements /
od: Kapus-Kolar, Monika., et al.

On constructing protocol derivation algorithms for LOTOS-like languages /
od: Kapus-Kolar, Monika.

A tool for service-driven protocol synthesis /
od: Kapus-Kolar, Monika.

A method for synthesis of service/protocol pairs without overspecification = Une méthode de synthèse des couples service/protocole sans surspécification /
od: Kapus-Kolar, Monika.

Implementation of the protocols.
Izdano: (1980)

New results on deriving specifications from service specifications /
od: Kapus-Kolar, Monika.

More flexible parameter handling in service-driven protocol synthesis /
od: Kapus-Kolar, Monika., et al.

Constructing multicasting communications protocols /
od: Kapus-Kolar, Monika.

Network protocol handbook /
od: Naugle, Matthew G.
Izdano: (1994)

Constructing communication protocols on priority channels /
od: Kapus-Kolar, Monika.

Implementing the Kyoto protocol : the role of environmental agreements /
od: Torvanger, Asbjørn., et al.
Izdano: (1999)

Constructing real-time multi channel protocols /
od: Kapus-Kolar, Monika.

Elements of network protocol design /
od: Gouda, Mohamed G.
Izdano: (1998)

What is MAP (manifacturing automation protocol)? /
od: Pye, Colin.
Izdano: (1988)

Computer networks and their protocols /
od: Davies, Donald Watts.
Izdano: (1981)

Sensor network protocols /
Izdano: (2006)

NETWORKING 2005. Networking Technologies, Services, and Protocols : Performance of Computer and Communication Networks : Mobile and Wireless Communications Systems : 4th International IFIP-TC6 Networking Conference, Waterl.
od: Almeroth, Kevin.
Izdano: (2005)

NETWORKING 2006. Networking Technologies, Services, Protocols : Performance of Computer and Communication Networks : Mobile and Wireless Communications Systems : 5th International IFIP-TC6 Networking Conference, Coimbra, P.
od: Boavida, Fernando.
Izdano: (2006)

GSM switching, services and protocols /
od: Eberspächer, Jörg., et al.
Izdano: (1998)

NGN architectures, protocols, and services /
od: Janevski, Toni.
Izdano: (2014)

Construction of logically correct communication protocols without over-specification /
od: Kapus-Kolar, Monika.

Mobile radio networks networking and protocols /
od: Walke, Bernhard H.
Izdano: (1999)

IPv6 advanced protocols implementation /
od: Li, Qing, 1971-, et al.
Izdano: (2007)

Constructing communication protocols on reliable bounded FIFO channels with- out overspecification /
od: Kapus-Kolar, Monika.

A new method for costruction of communication protocols on non-ideal channels /
od: Kapus-Kolar, Monika.

A new construction method for multi-party synchronous-asynchronous communication protocols /
od: Kapus-Kolar, Monika.