Search Sciweavers | Sciweavers

1860 search results - page 9 / 372

» tools 2009

click to vote

CHI
2009
ACM

99views Human Computer Interaction» more CHI 2009»

A tool to study affective touch

15 years 10 months ago

Download www.cs.ubc.ca

Steve Yohanan, Karon E. MacLean

claim paper

Read More »

click to vote

IV
2009
IEEE

174views Visualization» more IV 2009»

BIIGLE Tools - A Web 2.0 Approach for Visual Bioimage Database Mining

15 years 9 months ago

Download ani.www.techfak.uni-bielefeld.de

Timm Schoening, Nils Ehnert, Jörg Ontrup, Tim...

claim paper

Read More »

105

click to vote

CALCO
2009
Springer

147views Mathematics» more CALCO 2009»

CIRC: A Behavioral Verification Tool Based on Circular Coinduction

15 years 9 months ago

Download calco09.dimi.uniud.it

Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais...

claim paper

Read More »

168

click to vote

FM
2009
Springer

116views Formal Methods» more FM 2009»

Language and Tool Support for Class and State Machine Refinement in UML-B

15 years 9 months ago

Download eprints.ecs.soton.ac.uk

Mar Yah Said, Michael J. Butler, Colin F. Snook

claim paper

Read More »

106

click to vote

FMCAD
2009
Springer

155views Formal Methods» more FMCAD 2009»

MCC: A runtime verification tool for MCAPI user applications

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers