Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Synthesizing protocol specifications from service specifications in FSM model
Get full text
Conference Proceeding
Survey of protocol verification techniques based on finite state machine models
Get full text
Conference Proceeding
Optimal routing in a network with unreliable links
Economides, A.A., Silvester, J.A.
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Get full text
Conference Proceeding
Ethernet with segmented carrier
Dobosiewicz, W., Gburzynski, P.
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Get full text
Conference Proceeding
An architecture for the cooperation of heterogeneous operating systems
Geihs, K., Schoener, B., Hollberg, U., Schmutz, H., Eberle, H.
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Get full text
Conference Proceeding
An improved model for service time on playthrough rings
Ghafir, H.M., Silio, C.B., Sui, M., Wasser, E.M.
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Get full text
Conference Proceeding
Architecture and design of an open systems LAN/WAN gateway
Johannsen, W., Lamersdorf, W., Reinhardt, K.
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Get full text
Conference Proceeding
On the optimal dynamic switching of voice and data in communication networks
Get full text
Conference Proceeding
Communication and computation tradeoffs for a network of intelligent sensors
Get full text
Conference Proceeding
A knowledge-based protocol engineering environment
Neumeier-Mackert, I.B., Mackert, L.F., Fleischmann, A.
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Get full text
Conference Proceeding
Configuring UNIX STREAMS communication buffers based on an Erlang traffic model
Get full text
Conference Proceeding
Implementation of encryption services in the OSI upper layers
Lombardo, A., Merelli, E., Palazzo, S.
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Published in Computer Networking Symposium, 1988: Proceedings (1988)
Get full text
Conference Proceeding