Search Sciweavers | Sciweavers

8587 search results - page 31 / 1718

» Interactive dynamic abstraction

128

click to vote

DIGRA
2005
Springer

122views Computer Graphics» more DIGRA 2005»

Abstract of Dynamic Range: When Game Design and Narratives Unite

16 years 16 hour ago

Download www.digra.org

Dominic Arsenault

claim paper

Read More »

143

click to vote

HIPC
2005
Springer

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

Data and Computation Abstractions for Dynamic and Irregular Computations

16 years 6 hour ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

127

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 12 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

109

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

15 years 12 months ago

Download dc.exa.unrc.edu.ar

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

claim paper

Read More »

118

click to vote

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