10159 search results - page 1758 / 2032 » System Design Validation Using Formal Models |
264
click to vote
IUI
2006
ACM
16 years 19 days ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
206
click to vote
ISPD
2005
ACM
16 years 7 days ago
2005
ACM
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...
160
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
This paper introduces and presents a solution to the “Escherization” problem: given a closed figure in the plane, find a new closed figure that is similar to the original a...
161
click to vote
GMP
2006
IEEE
16 years 22 days ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
159
click to vote
HUC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...