Search Sciweavers | Sciweavers

15792 search results - page 75 / 3159

» Computational Abstraction Steps

104

click to vote

SAC
2006
ACM

102views Applied Computing» more SAC 2006»

Abstract non-interference in a fragment of Java bytecode

15 years 9 months ago

Download www.clip.dia.fi.upm.es

Damiano Zanardini

claim paper

Read More »

Voted

CCGRID
2005
IEEE

113views Distributed And Parallel Com...» more CCGRID 2005»

Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language

15 years 9 months ago

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

Voted

DIGRA
2005
Springer

122views Computer Graphics» more DIGRA 2005»

Abstract of Dynamic Range: When Game Design and Narratives Unite

15 years 9 months ago

Download www.digra.org

Dominic Arsenault

claim paper

Read More »

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

15 years 9 months ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

102

click to vote

TLCA
2005
Springer

88views Theoretical Computer Science» more TLCA 2005»

Higher-Order Abstract Non-interference

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers