Sciweavers

16790 search results - page 171 / 3358

» A Future for Software Engineering

19

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

14 years 2 months ago

Extending Separation Logic with Fixpoints and Postponed Substitution

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

26

ASWSD
2004
Springer

110views Software Engineering» more ASWSD 2004»

Towards a Component Architecture for Hard Real Time Control Applications

14 years 2 months ago

Towards a Component Architecture for Hard Real Time Control Applications

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

23

ASWSD
2004
Springer

112views Software Engineering» more ASWSD 2004»

A Compositional Framework for Real-Time Guarantees

14 years 2 months ago

A Compositional Framework for Real-Time Guarantees

Download aswsd.ucsd.edu

Insik Shin, Insup Lee

claim paper

Read More »

21

EDBTW
2004
Springer

116views Software Engineering» more EDBTW 2004»

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

14 years 2 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 »

25

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

14 years 2 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 171 / 3358 Last » Next »