Sciweavers

1860 search results - page 280 / 372
» tools 2009
Sort
View
ISSTA
2009
ACM
15 years 5 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
129
Voted
IUI
2009
ACM
15 years 5 months ago
Simplified facial animation control utilizing novel input devices: a comparative study
Editing facial expressions of virtual characters is quite a complex task. The face is made up of many muscles, which are partly activated concurrently. Virtual faces with human exp...
Nikolaus Bee, Bernhard Falk, Elisabeth André
MOBILITY
2009
ACM
15 years 5 months ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho
PLDI
2009
ACM
15 years 5 months ago
Progress guarantee for parallel programs via bounded lock-freedom
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaa...
104
Voted
RECSYS
2009
ACM
15 years 5 months ago
The impact of ambiguity and redundancy on tag recommendation in folksonomies
Collaborative tagging applications have become a popular tool allowing Internet users to manage online resources with tags. Most collaborative tagging applications permit unsuperv...
Jonathan Gemmell, Maryam Ramezani, Thomas Schimole...