Sciweavers

1508 search results - page 2 / 302

» Toward Software Plug-and-Play

88

Voted

FSEN
2009
Springer

118views Software Engineering» more FSEN 2009»

Towards a Notion of Unsatisfiable Cores for LTL

15 years 10 months ago

Towards a Notion of Unsatisfiable Cores for LTL

Download www.schuppan.de

Viktor Schuppan

claim paper

Read More »

85

ISPW
2008
IEEE

106views Software Engineering» more ISPW 2008»

Method Engineering: Towards Methods as Services

15 years 9 months ago

Method Engineering: Towards Methods as Services

Download www.icsp-conferences.org

Colette Rolland

claim paper

Read More »

81

Voted

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

15 years 9 months ago

Towards Path-Sensitive Points-to Analysis

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Jonas Lundberg, Welf Löwe

claim paper

Read More »

109

Voted

SIGSOFT
2006
ACM

126views Software Engineering» more SIGSOFT 2006»

SMArTIC: towards building an accurate, robust and scalable specification miner

15 years 9 months ago

SMArTIC: towards building an accurate, robust and scalable specification miner

Download www.comp.nus.edu.sg

David Lo, Siau-Cheng Khoo

claim paper

Read More »

83

Voted

IUI
2005
ACM

94views Software Engineering» more IUI 2005»

Towards automatic transcription of expressive oral percussive performances

15 years 9 months ago

Towards automatic transcription of expressive oral percussive performances

Download mtg.upf.edu

Amaury Hazan

claim paper

Read More »

« Prev « First page 2 / 302 Last » Next »