Search Sciweavers | Sciweavers

17298 search results - page 116 / 3460

» Abstract computing machines

129

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 »

130

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

Download research.cs.queensu.ca

Kevin A. Schneider, James R. Cordy

claim paper

Read More »

130

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

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

110

click to vote

ACMDIS
2000
ACM

90views Human Computer Interaction» more ACMDIS 2000»

Video Artifacts for Design: Bridging the Gap Between Abstraction and Detail

15 years 10 months ago

Download www-ihm.lri.fr

Wendy E. Mackay, Anne V. Ratzer, Paul Janecek

claim paper

Read More »

126

click to vote

SPIN
1999
Springer

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers