Search Sciweavers | Sciweavers

3330 search results - page 59 / 666

» software 2010

click to vote

TRUST
2010
Springer

187views Security Privacy» more TRUST 2010»

Software on the Witness Stand: What Should It Take for Us to Trust It?

15 years 8 months ago

Download www.cs.dartmouth.edu

Sergey Bratus, Ashlyn Lembree, Anna Shubina

claim paper

Read More »

114

click to vote

IPSN
2010
Springer

129views Sensor Networks» more IPSN 2010»

Software verification for TinyOS

15 years 6 months ago

Download www.daimi.au.dk

Doina Bucur, Marta Z. Kwiatkowska

claim paper

Read More »

114

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

15 years 5 months ago

Download eprints.eemcs.utwente.nl

Eduardo Zambon

claim paper

Read More »

111

click to vote

SIGDOC
2010
ACM

156views Document Analysis» more SIGDOC 2010»

Gender HCI: what about the software?

15 years 4 months ago

Download idea.library.drexel.edu

Margaret M. Burnett

claim paper

Read More »

141

click to vote

SOFTVIS
2010
ACM

157views Visualization» more SOFTVIS 2010»

A pragmatic perspective on software visualization

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers