Search Sciweavers | Sciweavers

16725 search results - page 633 / 3345

» Engineering Software Correctness

131

click to vote

ADAEUROPE
2005
Springer

97views Software Engineering» more ADAEUROPE 2005»

Dynamic Tasks Verification with Quasar

16 years 23 days ago

Download cedric.cnam.fr

Sami Evangelista, Claude Kaiser, Christophe Pajaul...

claim paper

Read More »

167

click to vote

ADAEUROPE
2005
Springer

112views Software Engineering» more ADAEUROPE 2005»

The Implementation of Ada 2005 Interface Types in the GNAT Compiler

16 years 23 days ago

Download www.adacore.com

One of the most important object-oriented features of the

Javier Miranda, Edmond Schonberg, Gary Dismukes

claim paper

Read More »

153

click to vote

WOSS
2004
ACM

97views Software Engineering» more WOSS 2004»

Online model-based adaptation for optimizing performance and dependability

16 years 19 days ago

Download www.perform.csl.illinois.edu

Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. S...

claim paper

Read More »

142

click to vote

EDBTW
2004
Springer

111views Software Engineering» more EDBTW 2004»

Bit Zipper Rendezvous Optimal Data Placement for General P2P Queries

16 years 18 days ago

Download www.dvs.tu-darmstadt.de

Wesley W. Terpstra, Stefan Behnel, Ludger Fiege, J...

claim paper

Read More »

169

click to vote

ICSE
2004
IEEE-ACM

95views Software Engineering» more ICSE 2004»

Usability-Supporting Architectural Patterns

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers