249 search results - page 26 / 50 » A Functional Logic Programming Approach to Graphical User In... |
110
click to vote
CHI
2007
ACM
16 years 3 days ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
CHI
2006
ACM
15 years 3 months ago
2006
ACM
The state-of-the-art in computer drawing programs is based on a number of concepts that are over two decades old. One such concept is the use of layers for ordering the surfaces i...
100
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: With advances in high-throughput genomics and proteomics, it is challenging for biologists to deal with large data files and to map their data to annotations in public...
CIC
2006
15 years 1 months ago
2006
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...