Sciweavers

12107 search results - page 22 / 2422

» Software That Can Think

108

INTERACTIONS
2007

60views more INTERACTIONS 2007»

Out of the video arcade, into the office: where computer games can lead productivity software

15 years 5 months ago

Out of the video arcade, into the office: where computer games can lead productivity software

Download faculty.washington.edu

Jerrod Larson

claim paper

Read More »

103

COMPUTER
2000

75views more COMPUTER 2000»

Can You Trust Software Capability Evaluations?

15 years 5 months ago

Can You Trust Software Capability Evaluations?

Download courses.cs.tamu.edu

Emilie O'Connell, Hossein Saiedian

claim paper

Read More »

98

Voted

ICSE
2010
IEEE-ACM

141views Software Engineering» more ICSE 2010»

Can clone detection support quality assessments of requirements specifications?

15 years 10 months ago

Can clone detection support quality assessments of requirements specifications?

Download www4.informatik.tu-muenchen.de

Elmar Jürgens, Florian Deissenboeck, Martin F...

claim paper

Read More »

148

CCS
2006
ACM

117views Security Privacy» more CCS 2006»

Modelling the relative strength of security protocols

15 years 9 months ago

Modelling the relative strength of security protocols

Download www-scf.usc.edu

In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...

Ho Chung, Clifford Neuman

claim paper

Read More »

123

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

16 years 2 days ago

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

Download www.infsec.ethz.ch

Matthias Schmalz, Hagen Völzer, Daniele Varac...

claim paper

Read More »

« Prev « First page 22 / 2422 Last » Next »