Search Sciweavers | Sciweavers

5448 search results - page 23 / 1090

» Breakpoints and Time in Distributed Computations

136

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 7 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

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 7 months ago

Download www.cs.virginia.edu

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

claim paper

Read More »

119

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 7 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

102

click to vote

REX
1991

89views Logical Reasoning» more REX 1991»

Timed Transition Systems

15 years 7 months ago

Download www.comp.nus.edu.sg

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

claim paper

Read More »

Voted

EUROPAR
2008
Springer

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

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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers