Search Sciweavers | Sciweavers

31387 search results - page 325 / 6278

» Abstracting abstract machines

148

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 »

153

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 »

133

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

Download cse.nd.edu

Peter Bui, Li Yu, Douglas Thain

claim paper

Read More »

151

click to vote

HUC
2010
Springer

274views Human Computer Interaction» more HUC 2010»

Ambient influence: can twinkly lights lure and abstract representations trigger behavioral change?

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers