Search Sciweavers | Sciweavers

2 search results - page 1 / 1

» The Metadata-Database of a Next Generation Sustainability We...

click to vote

LREC
2008

109views Education» more LREC 2008»

The Metadata-Database of a Next Generation Sustainability Web-Platform for Language Resources

13 years 6 months ago

Download www.lrec-conf.org

Our goal is to provide a web-based platform for the long-term preservation and distribution of a heterogeneous collection of linguistic resources. We discuss the corpus preprocess...

Georg Rehm, Oliver Schonefeld, Andreas Witt, Timm ...

claim paper

Read More »

click to vote

HASE
2008
IEEE

194views Control Systems» more HASE 2008»

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications

13 years 4 months ago

Download www.deeds.informatik.tu-darmstadt.de

Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...

Kohei Sakurai, Péter Bokor, Neeraj Suri

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers