Search Sciweavers | Sciweavers

31387 search results - page 149 / 6278

» Abstracts

169

click to vote

TAICPART
2006
IEEE

183views Education» more TAICPART 2006»

AutoAbstract: Problem Statement and Hypothetical Solutions

16 years 14 days ago

Download www2006.taicpart.org

ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield

Shaukat Ali

claim paper

Read More »

132

click to vote

ADAEUROPE
2006
Springer

124views Software Engineering» more ADAEUROPE 2006»

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

16 years 14 days ago

Download www.adacore.com

Javier Miranda, Edmond Schonberg

claim paper

Read More »

121

click to vote

ACMDIS
2006
ACM

80views Human Computer Interaction» more ACMDIS 2006»

The use of abstraction and motion in the design of social interfaces

16 years 14 days ago

Download pages.cs.wisc.edu

Bilge Mutlu, Jodi Forlizzi, Illah R. Nourbakhsh, J...

claim paper

Read More »

119

click to vote

APLAS
2006
ACM

89views Programming Languages» more APLAS 2006»

Private Row Types: Abstracting the Unnamed

16 years 14 days ago

Download www.math.nagoya-u.ac.jp

Jacques Garrigue

claim paper

Read More »

click to vote

ASPDAC
2006
ACM

112views Hardware» more ASPDAC 2006»

Refinement strategies for verification methods based on datapath abstraction

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers