Sciweavers

31387 search results - page 371 / 6278
» Abstracting abstract machines
Sort
View
CSUR
2011
15 years 1 months ago
The failure detector abstraction
Felix C. Freiling, Rachid Guerraoui, Petr Kuznetso...
145
Voted
ENTCS
2011
72views more  ENTCS 2011»
15 years 1 months ago
Abstract Interpretation of Dynamics of Biological Regulatory Networks
Loïc Paulevé, Morgan Magnin, Olivier R...
IJCM
2011
53views more  IJCM 2011»
15 years 1 months ago
An abstract interpretation-based model for safety semantics
Isabella Mastroeni, Roberto Giacobazzi
CORR
2010
Springer
61views Education» more  CORR 2010»
15 years 1 months ago
The Conceptual Integration Modeling Framework: Abstracting from the Multidimensional Model
Flavio Rizzolo, Iluju Kiringa, Rachel Pottinger, K...