Sciweavers

40 search results - page 4 / 8

» eceasst 2010

13

ECEASST
2010

102views Computer Vision» more ECEASST 2010»

Recognizable Graph Languages for Checking Invariants

13 years 3 months ago

Recognizable Graph Languages for Checking Invariants

Download www.ti.inf.uni-due.de

Christoph Blume, Harrie Jan Sander Bruggink, Barba...

claim paper

Read More »

9

ECEASST
2010

98views Computer Vision» more ECEASST 2010»

Stochastic Graph Transformation with Regions

13 years 3 months ago

Stochastic Graph Transformation with Regions

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel, István R&aacut...

claim paper

Read More »

10

ECEASST
2010

120views Computer Vision» more ECEASST 2010»

Decidable Race Condition and Open Coregions in HMSC

13 years 3 months ago

Decidable Race Condition and Open Coregions in HMSC

Download www.fi.muni.cz

Vojtech Rehák, Petr Slovák, Jan Stre...

claim paper

Read More »

11

ECEASST
2010

99views Computer Vision» more ECEASST 2010»

A Deductive Verification Platform for Cryptographic Software

13 years 3 months ago

A Deductive Verification Platform for Cryptographic Software

Download opencert.iist.unu.edu

Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...

claim paper

Read More »

14

ECEASST
2010

146views Computer Vision» more ECEASST 2010»

Checking Graph-Transformation Systems for Confluence

13 years 3 months ago

Checking Graph-Transformation Systems for Confluence

Download www.cs.york.ac.uk

d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...

Detlef Plump

claim paper

Read More »

« Prev « First page 4 / 8 Last » Next »