Search Sciweavers | Sciweavers

12981 search results - page 287 / 2597

» Model Checking and Abstraction

107

click to vote

JPDC
1998

62views more JPDC 1998»

Toward a Model for Shared Data Abstraction with Performance

15 years 6 months ago

Download www.simondobson.org

Don Goodeve, Simon A. Dobson, Jonathan M. Nash, Jo...

claim paper

Read More »

201

click to vote

JAIR
2008

98views more JAIR 2008»

Refining the Execution of Abstract Actions with Learned Action Models

15 years 6 months ago

Download www.aaai.org

Freek Stulp, Michael Beetz

claim paper

Read More »

140

click to vote

ICSOC
2010
Springer

256views Applied Computing» more ICSOC 2010»

Abstracting and Applying Business Modeling Patterns from RosettaNet

15 years 5 months ago

Download www.csc.ncsu.edu

Pankaj R. Telang, Munindar P. Singh

claim paper

Read More »

146

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 »

157

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers