169 search results - page 28 / 34 » Feature Specification and Static Analysis for Interaction Re... |
97
Voted
AUTOMOTIVEUI
2009
ACM
15 years 6 months ago
2009
ACM
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
93
Voted
CHI
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we discuss some of our recent research work designing tabletop interfaces for co-located photo sharing. We draw particular attention to a specific feature of an inte...
105
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
224
Voted
POPL
2001
ACM
15 years 12 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
WWW
2009
ACM
16 years 9 days ago
2009
ACM
We propose and evaluate QuWi (Quality in Wikipedia), a framework for quality control in Wikipedia. We build upon a previous proposal by Mizzaro [11], who proposed a method for sub...