Search Sciweavers | Sciweavers

8587 search results - page 31 / 1718

» Interactive dynamic abstraction

120

click to vote

DIGRA
2005
Springer

122views Computer Graphics» more DIGRA 2005»

Abstract of Dynamic Range: When Game Design and Narratives Unite

15 years 11 months ago

Download www.digra.org

Dominic Arsenault

claim paper

Read More »

139

click to vote

HIPC
2005
Springer

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

Data and Computation Abstractions for Dynamic and Irregular Computations

15 years 11 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

121

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

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

15 years 11 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

103

Voted

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

15 years 11 months ago

Download dc.exa.unrc.edu.ar

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

claim paper

Read More »

114

Voted

AOSE
2000
Springer

76views Intelligent Agents» more AOSE 2000»

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers