Search Sciweavers | Sciweavers

31387 search results - page 337 / 6278

» Abstracting abstract machines

114

click to vote

ENTCS
2006

104views more ENTCS 2006»

Abstract Graph Transformation

15 years 6 months ago

Download wwwhome.cs.utwente.nl

Arend Rensink, Dino Distefano

claim paper

Read More »

128

click to vote

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 6 months ago

Download pllab.kaist.ac.kr

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...

claim paper

Read More »

171

click to vote

FUIN
2006

93views more FUIN 2006»

Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers

15 years 6 months ago

Download hal.archives-ouvertes.fr

geometrical computation 1 : embedding Black hole computations with rational numbers J

Jérôme Durand-Lose

claim paper

Read More »

103

click to vote

INFORMATICALT
2008

101views more INFORMATICALT 2008»

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

15 years 6 months ago

Download www.mii.lt

Bruria Haberman

claim paper

Read More »

162

click to vote

IJCIS
2006

75views more IJCIS 2006»

Model-Driven Design, Refinement and Transformation of Abstract Interactions

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers