Search Sciweavers | Sciweavers

15860 search results - page 167 / 3172

» On agent-based software engineering

125

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 9 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

119

click to vote

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

15 years 9 months ago

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

109

click to vote

AMAST
2000
Springer

80views Software Engineering» more AMAST 2000»

Message Authentication through Non Interference

15 years 9 months ago

Download www.dsi.unive.it

Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...

claim paper

Read More »

123

Voted

ECOOPWEXCEPTION
2000
Springer

113views Software Engineering» more ECOOPWEXCEPTION 2000»

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

15 years 9 months ago

Download homepages.cs.ncl.ac.uk

Bjørn Egil Hansen, Henrik Fredholm

claim paper

Read More »

Voted

APSEC
1999
IEEE

74views Software Engineering» more APSEC 1999»

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers