Search Sciweavers | Sciweavers

31387 search results - page 302 / 6278

» Abstracting abstract machines

124

click to vote

DAGSTUHL
2006

148views Software Engineering» more DAGSTUHL 2006»

06271 Abstracts Collection -- Challenges in Symbolic Computation Software

15 years 8 months ago

Download drops.dagstuhl.de

Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephe...

claim paper

Read More »

114

click to vote

DAGSTUHL
2006

105views Software Engineering» more DAGSTUHL 2006»

06401 Abstracts Collection - Complexity of Constraints

15 years 8 months ago

Download drops.dagstuhl.de

Nadia Creignou, Phokion G. Kolaitis, Heribert Voll...

claim paper

Read More »

118

click to vote

DAGSTUHL
2006

126views Software Engineering» more DAGSTUHL 2006»

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)

15 years 8 months ago

Download drops.dagstuhl.de

Ed Brinksma, David Harel, Angelika Mader, Perdita ...

claim paper

Read More »

109

click to vote

DAGSTUHL
2006

125views Software Engineering» more DAGSTUHL 2006»

06302 Abstracts Collection -- Aspects For Legacy Applications

15 years 8 months ago

Download drops.dagstuhl.de

Siobhán Clarke, Leon Moonen, Ganesan Ramali...

claim paper

Read More »

108

click to vote

DAGSTUHL
2006

131views Software Engineering» more DAGSTUHL 2006»

06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers