Search Sciweavers | Sciweavers

31387 search results - page 175 / 6278

» Abstracts

109

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

15 years 12 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...

claim paper

Read More »

167

click to vote

ICFEM
2004
Springer

152views Software Engineering» more ICFEM 2004»

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

15 years 12 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

134

click to vote

ICLP
2004
Springer

88views Automated Reasoning» more ICLP 2004»

Termination by Abstraction

15 years 12 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz

claim paper

Read More »

124

click to vote

ICWE
2004
Springer

85views Internet Technology» more ICWE 2004»

Designing Multi-Device Interactive Services through Multiple Abstraction Levels

15 years 12 months ago

Download www.pst.informatik.uni-muenchen.de

Silvia Berti, Giulio Mori, Fabio Paternò, C...

claim paper

Read More »

139

click to vote

ISMIR
2004
Springer

111views Music» more ISMIR 2004»

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers