Search Sciweavers | Sciweavers

1837 search results - page 9 / 368

» Abstraction and the C Machine Model

click to vote

AIIA
2007
Springer

113views Artificial Intelligence» more AIIA 2007»

Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions

14 years 2 months ago

Download www.meteck.org

C. Maria Keet

claim paper

Read More »

click to vote

OTM
2005
Springer

68views Internet Technology» more OTM 2005»

Using Abstractions to Facilitate Management of Large ORM Models and Ontologies

14 years 2 months ago

Download www.meteck.org

C. Maria Keet

claim paper

Read More »

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 1 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

click to vote

ASM
2004
ASM

126views Computational Biology» more ASM 2004»

The Cryptographic Abstract Machine

14 years 2 months ago

Download titan.fsb.hr

tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...

Dean Rosenzweig, Davor Runje

claim paper

Read More »

click to vote

PADS
2006
ACM

106views Modeling and Simulation» more PADS 2006»

Using Abstraction in the Verification of Simulation Coercion

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers