Sciweavers

12107 search results - page 22 / 2422

» Software That Can Think

18

INTERACTIONS
2007

60views more INTERACTIONS 2007»

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

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

9

COMPUTER
2000

75views more COMPUTER 2000»

Can You Trust Software Capability Evaluations?

13 years 7 months ago

Can You Trust Software Capability Evaluations?

Download courses.cs.tamu.edu

Emilie O'Connell, Hossein Saiedian

claim paper

Read More »

13

ICSE
2010
IEEE-ACM

141views Software Engineering» more ICSE 2010»

Can clone detection support quality assessments of requirements specifications?

14 years 22 days 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 »

19

CCS
2006
ACM

117views Security Privacy» more CCS 2006»

Modelling the relative strength of security protocols

13 years 11 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 »

18

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

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

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