Search Sciweavers | Sciweavers

581 search results - page 1 / 117

» formats 2006

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

13 years 8 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

click to vote

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

13 years 8 months ago

Download www.lamsade.dauphine.fr

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

claim paper

Read More »

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

13 years 8 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

SIGMOD
2007
ACM

183views Database» more SIGMOD 2007»

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

14 years 4 months ago

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 »

click to vote

IJBC
2006

56views more IJBC 2006»

Pattern Formation in Noisy Self-Replicating Spots

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers