Sciweavers

2527 search results - page 390 / 506
» A UML-Based Approach to System Testing
Sort
View
105
Voted
WWW
2005
ACM
16 years 4 months ago
Automatically learning document taxonomies for hierarchical classification
While several hierarchical classification methods have been applied to web content, such techniques invariably rely on a pre-defined taxonomy of documents. We propose a new techni...
Kunal Punera, Suju Rajan, Joydeep Ghosh
107
Voted
CHI
2008
ACM
16 years 4 months ago
In-car interaction using search-based user interfaces
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...
Stefan Graf, Wolfgang Spiessl, Albrecht Schmidt, A...
CHI
2008
ACM
16 years 4 months ago
Dip - it: digital infrared painting on an interactive table
In this paper we report on our work to develop a novel input technique for a digital paint system. Using a brush with infrared (IR) light emitting fibers, we were able to create a...
Peter Vandoren, Tom Van Laerhoven, Luc Claesen, Jo...
POPL
2008
ACM
16 years 3 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani
115
Voted
OSDI
2008
ACM
16 years 3 months ago
Binary Translation Using Peephole Superoptimizers
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of...
Sorav Bansal, Alex Aiken