Sciweavers

1508 search results - page 2 / 302

» Toward Software Plug-and-Play

7

FSEN
2009
Springer

118views Software Engineering» more FSEN 2009»

Towards a Notion of Unsatisfiable Cores for LTL

13 years 12 months ago

Towards a Notion of Unsatisfiable Cores for LTL

Download www.schuppan.de

Viktor Schuppan

claim paper

Read More »

10

ISPW
2008
IEEE

106views Software Engineering» more ISPW 2008»

Method Engineering: Towards Methods as Services

13 years 11 months ago

Method Engineering: Towards Methods as Services

Download www.icsp-conferences.org

Colette Rolland

claim paper

Read More »

13

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

13 years 11 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 »

13

SIGSOFT
2006
ACM

126views Software Engineering» more SIGSOFT 2006»

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

13 years 11 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 »

11

IUI
2005
ACM

94views Software Engineering» more IUI 2005»

Towards automatic transcription of expressive oral percussive performances

13 years 11 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 »