Sciweavers

16541 search results - page 215 / 3309

» Ontologies and Software Engineering

143

KBSE
1998
IEEE

91views Software Engineering» more KBSE 1998»

Testing using Log File Analysis: Tools, Methods, and Issues

15 years 11 months ago

Testing using Log File Analysis: Tools, Methods, and Issues

Download www.kiv.zcu.cz

J. Andrews

claim paper

Read More »

124

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

15 years 11 months ago

Explanation-based Scenario Generation for Reactive System Models

Download ase.informatik.uni-essen.de

Robert J. Hall

claim paper

Read More »

156

Voted

KBSE
1998
IEEE

77views Software Engineering» more KBSE 1998»

Management of Evolving Specifications using Category Theory

15 years 11 months ago

Management of Evolving Specifications using Category Theory

Download www.cs.toronto.edu

Virginie Wiels, Steve M. Easterbrook

claim paper

Read More »

145

AC
1998
Springer

127views Software Engineering» more AC 1998»

Practice-Oriented Provable Security

15 years 11 months ago

Practice-Oriented Provable Security

Download cseweb.ucsd.edu

Mihir Bellare

claim paper

Read More »

144

AC
1998
Springer

124views Software Engineering» more AC 1998»

Commitment Schemes and Zero-Knowledge Protocols

15 years 11 months ago

Commitment Schemes and Zero-Knowledge Protocols

Download www.daimi.au.dk

Ivan Damgård

claim paper

Read More »

« Prev « First page 215 / 3309 Last » Next »