|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Pilu Crescenzi, Giorgio Gambosi, Gaia Innocenti |
NetPrIDE an integrated environment for developing and visualizing computer network protocols.  |
ITiCSE  |
2005 |
DBLP DOI BibTeX RDF |
Java, protocol, computer network, software visualization |
| 2 | Yong Sun, Hongji Yang |
Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism |
| 1 | Sebastian Zander, Grenville J. Armitage, Philip Branch |
A survey of covert channels and countermeasures in computer network protocols.  |
IEEE Communications Surveys and Tutorials  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Barr, Sung K. Yoo, Thomas J. Cheatham |
Network monitoring system design.  |
SIGCSE  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Spinelli |
Self-stabilizing sliding window ARQ protocols.  |
IEEE/ACM Trans. Netw.  |
1997 |
DBLP DOI BibTeX RDF |
ARQ protocols, computer network protocols, self-stabilizing protocols, protocols |
| 1 | Henrikas Pranevitchius |
Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols.  |
Baltic Computer Science  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Cellary, Maciej Stroinski |
Performance Parameters of Computer Network Protocols Refered to Their Formal Model.  |
PSTV  |
1984 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Blanc |
Protocol testing methdology development at NBS.  |
Computer Communication Review  |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|