Sciweavers

53327 search results - page 148 / 10666

» is 2007

63

Voted

FOGA
2007

105views Artificial Intelligence» more FOGA 2007»

Mutative Self-adaptation on the Sharp and Parabolic Ridge

15 years 2 months ago

Mutative Self-adaptation on the Sharp and Parabolic Ridge

Download www.sigevo.org

Silja Meyer-Nieberg, Hans-Georg Beyer

claim paper

Read More »

73

Voted

FORTE
2007

117views Formal Methods» more FORTE 2007»

Formalization of Network Quality-of-Service Requirements

15 years 2 months ago

Formalization of Network Quality-of-Service Requirements

Download kluedo.ub.uni-kl.de

Christian Webel, Reinhard Gotzhein

claim paper

Read More »

76

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 2 months ago

Testing Distributed Systems Through Symbolic Model Checking

Download www.ulb.ac.be

Gabriel Kalyon, Thierry Massart, Cédric Meu...

claim paper

Read More »

63

Voted

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 2 months ago

State Isomorphism in Model Programs with Abstract Data Structures

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

claim paper

Read More »

66

Voted

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

15 years 2 months ago

Improvements for the Symbolic Verification of Timed Automata

Download www-verimag.imag.fr

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan...

claim paper

Read More »

« Prev « First page 148 / 10666 Last » Next »