5630 search results - page 961 / 1126 » Computability in Specification |
148
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
Management of a modern enterprise is based on the assumption that executive reports of lower-layer management are faithful to what is actually happening in the field. As some well...
135
Voted
CHI
2009
ACM
16 years 5 months ago
2009
ACM
This paper investigates the role of online resources in problem solving. We look specifically at how programmers--an exemplar form of knowledge workers--opportunistically interlea...
137
Voted
CHI
2009
ACM
16 years 5 months ago
2009
ACM
This paper explores the concept of somaesthetics as an approach to the design of expressive interaction. This concept is exemplified through the design process of soft(n), an inte...
108
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
One direction of the emerging paradigm of interface design is the use of physical metaphors, the adoption of physical phenomenon from the real world with physical principles such ...
150
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...