218 search results - page 11 / 44 » Formal Analysis and Automatic Generation of User Interfaces:... |
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...
MIR
2006
ACM
14 years 1 months ago
2006
ACM
We present a technique for combining audio signal-based music similarity with web-based musical artist similarity to accelerate the task of automatic playlist generation. We demon...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
SAC
2009
ACM
14 years 9 days ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...