Search Sciweavers | Sciweavers

2152 search results - page 8 / 431

» An Abstract Account of Composition

click to vote

ECOOPW
1993
Springer

119views Distributed And Parallel Com...» more ECOOPW 1993»

Abstracting Object Interactions Using Composition Filters

15 years 1 months ago

Download www.cse.msu.edu

Mehmet Aksit, Ken Wakita, Jan Bosch, Lodewijk Berg...

claim paper

Read More »

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

15 years 1 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

click to vote

ER
2006
Springer

101views Database» more ER 2006»

The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling

15 years 1 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 1 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers