Search Sciweavers | Sciweavers

15792 search results - page 91 / 3159

» Computational Abstraction Steps

128

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 »

125

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 »

107

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 »

118

click to vote

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

15 years 10 months ago

Download research.microsoft.com

Michael Barnett, Egon Börger, Yuri Gurevich, ...

claim paper

Read More »

122

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