Sciweavers

11065 search results - page 234 / 2213

» Education

159

Voted

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

15 years 7 months ago

Composing Programs in a Rewriting Logic for Declarative Programming

Download www.lcc.uma.es

Juan M. Molina-Bravo, Ernesto Pimentel

claim paper

Read More »

132

CORR
2002
Springer

96views Education» more CORR 2002»

Precongruence Formats for Decorated Trace Semantics

15 years 7 months ago

Precongruence Formats for Decorated Trace Semantics

Download www.cs.vu.nl

Bard Bloom, Wan Fokkink, Rob J. van Glabbeek

claim paper

Read More »

109

Voted

CORR
2002
Springer

103views Education» more CORR 2002»

Analysis of Non-Gaussian Nature of Network Traffic

15 years 7 months ago

Analysis of Non-Gaussian Nature of Network Traffic

Download dspace.wul.waseda.ac.jp

Tatsuya Mori, Ryoichi Kawahara, Shozo Naito

claim paper

Read More »

119

Voted

CORR
2002
Springer

96views Education» more CORR 2002»

Reinforcing Reachable Routes

15 years 7 months ago

Reinforcing Reachable Routes

Download scholar.lib.vt.edu

Srinidhi Varadarajan, Naren Ramakrishnan

claim paper

Read More »

123

CORR
2002
Springer

87views Education» more CORR 2002»

Packet delay in models of data networks

15 years 7 months ago

Packet delay in models of data networks

Download www.maths.bris.ac.uk

Henryk Fuks, Anna T. Lawniczak, Stanislav Volkov

claim paper

Read More »

« Prev « First page 234 / 2213 Last » Next »