Search Sciweavers | Sciweavers

8587 search results - page 31 / 1718

» Interactive dynamic abstraction

click to vote

DIGRA
2005
Springer

122views Computer Graphics» more DIGRA 2005»

Abstract of Dynamic Range: When Game Design and Narratives Unite

14 years 2 months ago

Download www.digra.org

Dominic Arsenault

claim paper

Read More »

click to vote

HIPC
2005
Springer

86views Distributed And Parallel Com...» more HIPC 2005»

Data and Computation Abstractions for Dynamic and Irregular Computations

14 years 2 months ago

Download www.cse.ohio-state.edu

Sriram Krishnamoorthy, Jarek Nieplocha, P. Sadayap...

claim paper

Read More »

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

14 years 2 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

14 years 2 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...

claim paper

Read More »

click to vote

AOSE
2000
Springer

76views Intelligent Agents» more AOSE 2000»

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers