Sciweavers

581 search results - page 1 / 117

» formats 2006

84

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 6 months ago

Simulator for Real-Time Abstract State Machines

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

92

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

15 years 6 months ago

Intersection of Regular Signal-Event (Timed) Languages

Download www.lamsade.dauphine.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

81

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

15 years 6 months ago

Refinements and Abstractions of Signal-Event (Timed) Languages

Download www.lsv.ens-cachan.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

203

SIGMOD
2007
ACM

183views Database» more SIGMOD 2007»

Report on the First International VLDB Workshop on Clean Databases (CleanDB 2006)

16 years 3 months ago

Report on the First International VLDB Workshop on Clean Databases (CleanDB 2006)

Download pike.psu.edu

In this report, we provide a summary1 of the First Int'l VLDB Workshop on Clean Databases (CleanDB 2006), which took place at Seoul, Korea, on September 11, 2006, in conjunct...

Dongwon Lee, Chen Li

claim paper

Read More »

70

IJBC
2006

56views more IJBC 2006»

Pattern Formation in Noisy Self-Replicating Spots

15 years 2 months ago

Pattern Formation in Noisy Self-Replicating Spots

Download complex.upf.es

Andreea Munteanu, Ricard V. Solé

claim paper

Read More »

« Prev « First page 1 / 117 Last » Next »