Sciweavers

15777 search results - page 24 / 3156

» Engineering in Software

34

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

14 years 4 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

24

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

14 years 4 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

27

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

14 years 4 months ago

Modeling Complexity in Secure Distributed Computing

Download www.zurich.ibm.com

Christian Cachin

claim paper

Read More »

22

AC
2003
Springer

81views Software Engineering» more AC 2003»

Unsupervised Learning

14 years 4 months ago

Unsupervised Learning

Download www.gatsby.ucl.ac.uk

Zoubin Ghahramani

claim paper

Read More »

25

AC
2003
Springer

87views Software Engineering» more AC 2003»

Challenges in Evaluating Distributed Algorithms

14 years 4 months ago

Challenges in Evaluating Distributed Algorithms

Download webee.technion.ac.il

Idit Keidar

claim paper

Read More »

« Prev « First page 24 / 3156 Last » Next »