Search Sciweavers | Sciweavers

1173 search results - page 9 / 235

» On the Compositionality of Round Abstraction

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

14 years 11 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

click to vote

ECMDAFA
2010
Springer

135views Hardware» more ECMDAFA 2010»

Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework

14 years 10 months ago

Download reuseware.org

Jendrik Johannes, Miguel A. Fernández

claim paper

Read More »

click to vote

EPEW
2010
Springer

172views Internet Technology» more EPEW 2010»

Compositional Abstraction of PEPA Models for Transient Analysis

14 years 10 months ago

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

click to vote

GPEM
2007

102views more GPEM 2007»

Compositional pattern producing networks: A novel abstraction of development

14 years 9 months ago

Download eplex.cs.ucf.edu

Kenneth O. Stanley

claim paper

Read More »

click to vote

JETAI
2000

96views more JETAI 2000»

Abstraction and composition: a verification method for co-operating systems

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers