Sciweavers

22018 search results - page 376 / 4404

» or 2004

145

Voted

DAGSTUHL
2004

83views Software Engineering» more DAGSTUHL 2004»

04101 Abstracts Collection - Language Engineering for Model-Driven Software Development

15 years 9 months ago

04101 Abstracts Collection - Language Engineering for Model-Driven Software Development

Download drops.dagstuhl.de

Jean Bézivin, Reiko Heckel

claim paper

Read More »

122

DAGSTUHL
2004

77views Software Engineering» more DAGSTUHL 2004»

I/O-automata Based Testing

15 years 9 months ago

I/O-automata Based Testing

Download wwwhome.cs.utwente.nl

Machiel van der Bijl, Fabien Peureux

claim paper

Read More »

131

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 9 months ago

Test Derivation from Timed Automata

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

112

DAGSTUHL
2004

80views Software Engineering» more DAGSTUHL 2004»

Preorder Relations

15 years 9 months ago

Preorder Relations

Download www.math.ucla.edu

Stefan D. Bruda

claim paper

Read More »

154

Voted

DAGSTUHL
2004

93views Software Engineering» more DAGSTUHL 2004»

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

15 years 9 months ago

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

Download drops.dagstuhl.de

Harry Buhrman, Lance Fortnow, Thomas Thierauf

claim paper

Read More »

« Prev « First page 376 / 4404 Last » Next »