Search Sciweavers | Sciweavers

13917 search results - page 87 / 2784

» Abstraction of Probabilistic Systems

ANCS
2009
ACM

102views Computer Networks» more ANCS 2009»

Designing high-speed packet processing tasks at arbitrary levels of abstraction: implementation and evaluation of a MIXMAP syste

14 years 7 months ago

Download www.ikr.uni-stuttgart.de

Simon Hauger

claim paper

Read More »

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

14 years 7 months ago

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

click to vote

TCAD
2010

111views more TCAD 2010»

Combining Control and Data Abstraction in the Verification of Hybrid Systems

14 years 4 months ago

Download pop-art.inrialpes.fr

Xavier Briand, Bertrand Jeannet

claim paper

Read More »

click to vote

TOPNOC
2010

200views Artificial Intelligence» more TOPNOC 2010»

Vicinity Respecting Homomorphisms for Abstracting System Requirements

14 years 4 months ago

Download www.fernuni-hagen.de

Jörg Desel, Agathe Merceron

claim paper

Read More »

155

click to vote

BIOSTEC
2011

247views Healthcare» more BIOSTEC 2011»

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers