Sciweavers

12107 search results - page 22 / 2422

» Software That Can Think

81

INTERACTIONS
2007

60views more INTERACTIONS 2007»

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

15 years 4 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 »

85

COMPUTER
2000

75views more COMPUTER 2000»

Can You Trust Software Capability Evaluations?

15 years 4 months ago

Can You Trust Software Capability Evaluations?

Download courses.cs.tamu.edu

Emilie O'Connell, Hossein Saiedian

claim paper

Read More »

83

ICSE
2010
IEEE-ACM

141views Software Engineering» more ICSE 2010»

Can clone detection support quality assessments of requirements specifications?

15 years 9 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 »

131

CCS
2006
ACM

117views Security Privacy» more CCS 2006»

Modelling the relative strength of security protocols

15 years 8 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 »

101

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

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

15 years 10 months 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 »