Search Sciweavers | Sciweavers

10304 search results - page 199 / 2061

» Computer science with the sciences: an emphasis in computati...

123

click to vote

SOFSEM
2009
Springer

77views Theoretical Computer Science» more SOFSEM 2009»

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

16 years 3 months ago

Download www.ksi.mff.cuni.cz

Thomas Chatain, Paul Gastin, Nathalie Sznajder

claim paper

Read More »

144

click to vote

SOFSEM
2009
Springer

107views Theoretical Computer Science» more SOFSEM 2009»

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

16 years 3 months ago

Download www.ksi.mff.cuni.cz

Jens Bachmann, Martin Riedl, Johann Schuster, Mark...

claim paper

Read More »

147

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

16 years 3 months ago

Download www.ksi.mff.cuni.cz

Frédéric Vogels, Bart Jacobs 0002, F...

claim paper

Read More »

138

click to vote

STACS
2010
Springer

147views Theoretical Computer Science» more STACS 2010»

The Tropical Double Description Method

16 years 1 months ago

Download www.lix.polytechnique.fr

Xavier Allamigeon, Stephane Gaubert, Eric Goubault

claim paper

Read More »

179

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers