Sciweavers

16968 search results - page 150 / 3394

» Software Engineering in the Small

122

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

15 years 11 months ago

Extending Separation Logic with Fixpoints and Postponed Substitution

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

149

ASWSD
2004
Springer

110views Software Engineering» more ASWSD 2004»

Towards a Component Architecture for Hard Real Time Control Applications

15 years 11 months ago

Towards a Component Architecture for Hard Real Time Control Applications

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

128

Voted

ASWSD
2004
Springer

112views Software Engineering» more ASWSD 2004»

A Compositional Framework for Real-Time Guarantees

15 years 11 months ago

A Compositional Framework for Real-Time Guarantees

Download aswsd.ucsd.edu

Insik Shin, Insup Lee

claim paper

Read More »

132

EDBTW
2004
Springer

116views Software Engineering» more EDBTW 2004»

A Scalable Randomized Method to Compute Link-Based Similarity Rank on the Web Graph

15 years 11 months ago

A Scalable Randomized Method to Compute Link-Based Similarity Rank on the Web Graph

Download www.ilab.sztaki.hu

Dániel Fogaras, Balázs Rácz

claim paper

Read More »

131

Voted

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

15 years 11 months ago

Optimising Communication Structure for Model Checking

Download www.csc.liv.ac.uk

Peter Saffrey, Muffy Calder

claim paper

Read More »

« Prev « First page 150 / 3394 Last » Next »