Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
7300
search results - page 11 / 1460
»
Multi-modal network protocols
Sort
relevance
views
votes
recent
update
View
thumb
title
154
click to vote
ICNP
1996
IEEE
83
views
Computer Networks
»
more
ICNP 1996
»
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines
15 years 10 months ago
Download
www.ieee-icnp.org
Hong Liu, Raymond E. Miller
claim paper
Read More »
154
click to vote
AINA
2007
IEEE
101
views
Computer Networks
»
more
AINA 2007
»
Rank Theorems for Forward Secrecy in Group Key Management Protocols
15 years 10 months ago
Download
hvg.ece.concordia.ca
Amjad Gawanmeh, Sofiène Tahar
claim paper
Read More »
130
click to vote
ICNP
1995
IEEE
78
views
Computer Networks
»
more
ICNP 1995
»
Protocol synthesis using basic Lotos and global variables
15 years 10 months ago
Download
www.ieee-icnp.org
Ahmed Khoumsi, Gregor von Bochmann
claim paper
Read More »
133
click to vote
ICNP
1995
IEEE
80
views
Computer Networks
»
more
ICNP 1995
»
Implementation method of high speed protocol as transport library
15 years 10 months ago
Download
www.ieee-icnp.org
Yutaka Miyake, Toshihiko Kato, Kenji Suzuki
claim paper
Read More »
108
click to vote
ICNP
1995
IEEE
74
views
Computer Networks
»
more
ICNP 1995
»
Protocol synthesis from timed and structured specifications
15 years 10 months ago
Download
www.ieee-icnp.org
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
claim paper
Read More »
« Prev
« First
page 11 / 1460
Last »
Next »
