Search Sciweavers | Sciweavers

31387 search results - page 300 / 6278

» Abstracts

162

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

15 years 7 months ago

Download www-verimag.imag.fr

Karine Altisen, Matthieu Moy

claim paper

Read More »

147

click to vote

EPEW
2010
Springer

172views Internet Technology» more EPEW 2010»

Compositional Abstraction of PEPA Models for Transient Analysis

15 years 7 months ago

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

147

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

15 years 7 months ago

Download eprints.eemcs.utwente.nl

Eduardo Zambon

claim paper

Read More »

152

click to vote

DIMVA
2009

97views Computer Networks» more DIMVA 2009»

Towards Proactive Spam Filtering (Extended Abstract)

15 years 7 months ago

Download honeyblog.org

Jan Göbel, Thorsten Holz, Philipp Trinius

claim paper

Read More »

132

click to vote

HPDC
2010
IEEE

200views Distributed And Parallel Com...» more HPDC 2010»

Weaver: integrating distributed computing abstractions into scientific workflows using Python

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers