Search Sciweavers | Sciweavers

15777 search results - page 144 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

14 years 15 days ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

click to vote

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

14 years 15 days ago

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

click to vote

AMAST
2000
Springer

80views Software Engineering» more AMAST 2000»

Message Authentication through Non Interference

14 years 15 days ago

Download www.dsi.unive.it

Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...

claim paper

Read More »

click to vote

ECOOPWEXCEPTION
2000
Springer

113views Software Engineering» more ECOOPWEXCEPTION 2000»

Adapting C++ Exception Handling to an Extended COM Exception Model

14 years 14 days ago

Download homepages.cs.ncl.ac.uk

Bjørn Egil Hansen, Henrik Fredholm

claim paper

Read More »

click to vote

APSEC
1999
IEEE

74views Software Engineering» more APSEC 1999»

Strongly Formative Pilot Studies on Constraints in Early Life-Cycle Work

14 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers