Search Sciweavers | Sciweavers

2947 search results - page 48 / 590

» The timely token protocol

click to vote

ICNP
1995
IEEE

74views Computer Networks» more ICNP 1995»

Protocol synthesis from timed and structured specifications

15 years 7 months ago

Download www.ieee-icnp.org

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

claim paper

Read More »

102

click to vote

CORR
2008
Springer

103views Education» more CORR 2008»

Mode Change Protocol for Multi-Mode Real-Time Systems upon Identical Multiprocessors

15 years 4 months ago

Download dev.ulb.ac.be

Vincent Nélis, Joël Goossens

claim paper

Read More »

113

click to vote

DEDS
2008

88views more DEDS 2008»

Analyzing Security Protocols Using Time-Bounded Task-PIOAs

15 years 4 months ago

Download people.csail.mit.edu

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Mos...

claim paper

Read More »

click to vote

CJ
2006

67views more CJ 2006»

From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures

15 years 4 months ago

Download www.di.fc.ul.pt

Miguel Correia, Nuno Ferreira Neves, Paulo Ver&iac...

claim paper

Read More »

click to vote

JUCS
2006

73views more JUCS 2006»

The Additional Examination of the Kudo-Mathuria Time-Release Protocol

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers