Search Sciweavers | Sciweavers

17082 search results - page 121 / 3417

» Abstractions for Mobile Computation

143

click to vote

RTA
2005
Springer

128views Theoretical Computer Science» more RTA 2005»

Abstract Modularity

15 years 12 months ago

Download www.informatik.uni-bremen.de

Michael Abbott, Neil Ghani, Christoph Lüth

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 »

134

click to vote

SPIN
2004
Springer

104views Theoretical Computer Science» more SPIN 2004»

Using Fairness to Make Abstractions Work

15 years 11 months ago

Download spinroot.com

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...

claim paper

Read More »

137

click to vote

DSVIS
2001
Springer

121views Human Computer Interaction» more DSVIS 2001»

Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems

15 years 11 months ago

Download research.cs.queensu.ca

Kevin A. Schneider, James R. Cordy

claim paper

Read More »

137

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers