1036 search results - page 70 / 208 » Design methods as discourse on practice |
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
The interplay between arts and HCI has become increasingly commonplace in the past years, offering new opportunities for approaching interaction, but also raising challenges in in...
CGVR
2006
13 years 10 months ago
2006
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...
PADL
2004
Springer
14 years 2 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...
FMCAD
2000
Springer
14 years 21 days ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...