Search Sciweavers | Sciweavers

5448 search results - page 23 / 1090

» Breakpoints and Time in Distributed Computations

168

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 10 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

130

click to vote

ICDCS
1995
IEEE

74views Distributed And Parallel Com...» more ICDCS 1995»

A New Protocol for Bandwidth Regulation of Real-Time Traffic Classes in Internetworks

15 years 10 months ago

Download www.cs.virginia.edu

Jörg Liebeherr, Ian F. Akyildiz, Debapriya Sa...

claim paper

Read More »

148

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

130

click to vote

REX
1991

89views Logical Reasoning» more REX 1991»

Timed Transition Systems

15 years 10 months ago

Download www.comp.nus.edu.sg

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

claim paper

Read More »

123

click to vote

EUROPAR
2008
Springer

96views Distributed And Parallel Com...» more EUROPAR 2008»

Securing Real-Time On-Line Interactive Applications in edutain@grid

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers