Search Sciweavers | Sciweavers

15777 search results - page 352 / 3156

» The Reformulation-Optimization Software Engine

click to vote

SIGSOFT
2010
ACM

116views Software Engineering» more SIGSOFT 2010»

PENELOPE: weaving threads to expose atomicity violations

15 years 1 months ago

Download www.cs.uiuc.edu

Francesco Sorrentino 0002, Azadeh Farzan, P. Madhu...

claim paper

Read More »

112

click to vote

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 1 months ago

Download mcs.open.ac.uk

Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...

claim paper

Read More »

Voted

UIST
2010
ACM

113views Software Engineering» more UIST 2010»

Creating collections with automatic suggestions and example-based refinement

15 years 1 months ago

Download dontcheva.org

Adrian Secord, Holger Winnemoeller, Wilmot Li, Mir...

claim paper

Read More »

100

Voted

UIST
2010
ACM

131views Software Engineering» more UIST 2010»

PhoneTouch: a technique for direct phone interaction on surfaces

15 years 1 months ago

Download www.comp.lancs.ac.uk

Dominik Schmidt, Fadi Chehimi, Enrico Rukzio, Hans...

claim paper

Read More »

125

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers