Sciweavers

15951 search results - page 361 / 3191

» Lawful software engineering

141

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

15 years 12 months ago

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

Download www.informatik.uni-bremen.de

Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...

claim paper

Read More »

173

FSTTCS
1999
Springer

84views Software Engineering» more FSTTCS 1999»

Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings

15 years 12 months ago

Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings

Download www.dis.uniroma1.it

Luca Becchetti, Miriam Di Ianni, Alberto Marchetti...

claim paper

Read More »

161

FSTTCS
1999
Springer

93views Software Engineering» more FSTTCS 1999»

Graded Modalities and Resource Bisimulation

15 years 12 months ago

Graded Modalities and Resource Bisimulation

Download www.cs.man.ac.uk

Flavio Corradini, Rocco De Nicola, Anna Labella

claim paper

Read More »

179

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 12 months ago

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

144

CODES
1998
IEEE

105views Software Engineering» more CODES 1998»

Memory size estimation for multimedia applications

15 years 12 months ago

Memory size estimation for multimedia applications

Download www.cs.york.ac.uk

Peter Grun, Florin Balasa, Nikil D. Dutt

claim paper

Read More »

« Prev « First page 361 / 3191 Last » Next »