2074 search results - page 323 / 415 » Generating Abstract User Interfaces from an Informal Design |
169
click to vote
LCN
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—Telephony gateways are devices that interface between IP telephony networks and the PSTN. A telephony proxy or location server (LS) that attempts to connect a call for a...
177
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
174
click to vote
ASSETS
2004
ACM
15 years 11 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
145
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
In-vehicle navigation has changed substantially in recent years, due to the advent of computer generated maps and directions. However, these maps are still problematic, due to a m...
151
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...