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?

13 years 12 months ago

Download www.cs.dartmouth.edu

Sergey Bratus, Ashlyn Lembree, Anna Shubina

claim paper

Read More »

click to vote

IPSN
2010
Springer

129views Sensor Networks» more IPSN 2010»

Software verification for TinyOS

13 years 10 months ago

Download www.daimi.au.dk

Doina Bucur, Marta Z. Kwiatkowska

claim paper

Read More »

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

13 years 9 months ago

Download eprints.eemcs.utwente.nl

Eduardo Zambon

claim paper

Read More »

click to vote

SIGDOC
2010
ACM

156views Document Analysis» more SIGDOC 2010»

Gender HCI: what about the software?

13 years 8 months ago

Download idea.library.drexel.edu

Margaret M. Burnett

claim paper

Read More »

click to vote

SOFTVIS
2010
ACM

157views Visualization» more SOFTVIS 2010»

A pragmatic perspective on software visualization

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers