Search Sciweavers | Sciweavers

10707 search results - page 38 / 2142

» Designing executable abstractions

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 »

142

click to vote

AOSE
2000
Springer

75views Intelligent Agents» more AOSE 2000»

Organizational Abstractions for the Analysis and Design of Multi-agent Systems

15 years 10 months ago

Download www.jos.org.cn

Franco Zambonelli, Nicholas R. Jennings, Michael W...

claim paper

Read More »

135

click to vote

STOC
1999
ACM

105views Algorithms» more STOC 1999»

Algorithmic Mechanism Design (Extended Abstract)

15 years 10 months ago

Download www.cs.cmu.edu

Noam Nisan, Amir Ronen

claim paper

Read More »

221

click to vote

AM
1989

310views Mathematics» more AM 1989»

Design of a Specification Language by Abstract Syntax Engineering

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

114

click to vote

ASPDAC
2007
ACM

82views Hardware» more ASPDAC 2007»

Abstract, Multifaceted Modeling of Embedded Processors for System Level Design

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers