Search Sciweavers | Sciweavers

31387 search results - page 361 / 6278

» Abstracting abstract machines

150

click to vote

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

15 years 5 months ago

Download www.cs.arizona.edu

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. De...

claim paper

Read More »

162

click to vote

SOCA
2010
IEEE

211views Applied Computing» more SOCA 2010»

MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations

15 years 5 months ago

Download dbis.eprints.uni-ulm.de

Lianne Bodenstaff, Andreas Wombacher, Manfred Reic...

claim paper

Read More »

145

click to vote

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

15 years 5 months ago

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

103

click to vote

CORR
2010
Springer

76views Education» more CORR 2010»

A framework for designing concurrent and recoverable abstract data types based on commutativity

15 years 5 months ago

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

127

click to vote

CORR
2010
Springer

67views Education» more CORR 2010»

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers