Search Sciweavers | Sciweavers

2152 search results - page 8 / 431

» An Abstract Account of Composition

143

click to vote

ECOOPW
1993
Springer

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

Abstracting Object Interactions Using Composition Filters

15 years 10 months ago

Download www.cse.msu.edu

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

claim paper

Read More »

158

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 10 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

124

click to vote

ER
2006
Springer

101views Database» more ER 2006»

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

15 years 9 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

131

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 9 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

133

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers