4440 search results - page 60 / 888 » The space of design |
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
166
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...
128
click to vote
TCAD
2008
15 years 6 months ago
2008
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
156
click to vote
INTETAIN
2005
Springer
15 years 11 months ago
2005
Springer
Public spaces are interactive by the very fact that they are designed to be looked at, walked around, and used by multitudes of people on a daily basis. Architects design such spac...
137
click to vote
WSC
1997
15 years 7 months ago
1997
Simulation is used to evaluate parking space availability for a current layout and for future design options at Miami University. By using simulation, an alternative design that i...