Sciweavers

53302 search results - page 126 / 10661

» Meta-Design: Design for Designers

82

DT
2000

54views more DT 2000»

Formal Models for Embedded System Design

15 years 3 months ago

Formal Models for Embedded System Design

Download embedded.eecs.berkeley.edu

Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovan...

claim paper

Read More »

79

CORR
2002
Springer

86views Education» more CORR 2002»

Practical Strategies for Integrating a Conversation Analyst in an Iterative Design Process

15 years 3 months ago

Practical Strategies for Integrating a Conversation Analyst in an Iterative Design Process

Download www.cc.gatech.edu

Allison Woodruff, Margaret H. Szymanski, Rebecca E...

claim paper

Read More »

94

EOR
2000

45views more EOR 2000»

Digital data networks design using genetic algorithms

15 years 3 months ago

Digital data networks design using genetic algorithms

Download www.smeal.psu.edu

Chao-Hsien Chu, G. Premkumar, Hsinghua Chou

claim paper

Read More »

93

EOR
2000

44views more EOR 2000»

The design of robotic dairy barns using closed queueing networks

15 years 3 months ago

The design of robotic dairy barns using closed queueing networks

Download www.win.tue.nl

I. Halachmi, Ivo J. B. F. Adan, J. van der Wal, J....

claim paper

Read More »

113

CSL
2002
Springer

151views Automated Reasoning» more CSL 2002»

Designs, Disputes and Strategies

15 years 3 months ago

Designs, Disputes and Strategies

Download www.dpmms.cam.ac.uk

Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...

Claudia Faggian, Martin Hyland

claim paper

Read More »

« Prev « First page 126 / 10661 Last » Next »