Sciweavers

12107 search results - page 22 / 2422

» Software That Can Think

70

INTERACTIONS
2007

60views more INTERACTIONS 2007»

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

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

72

COMPUTER
2000

75views more COMPUTER 2000»

Can You Trust Software Capability Evaluations?

15 years 2 months ago

Can You Trust Software Capability Evaluations?

Download courses.cs.tamu.edu

Emilie O'Connell, Hossein Saiedian

claim paper

Read More »

73

ICSE
2010
IEEE-ACM

141views Software Engineering» more ICSE 2010»

Can clone detection support quality assessments of requirements specifications?

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

118

Voted

CCS
2006
ACM

117views Security Privacy» more CCS 2006»

Modelling the relative strength of security protocols

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

86

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

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

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