8655 search results - page 488 / 1731 » Trusted computing challenges |
191
Voted
CHI
2011
ACM
14 years 10 months ago
2011
ACM
By their pervasiveness and by being worn on our bodies, mobile phones seem to have become intrinsic to safety. To examine this proposition, 43 participants, from four stakeholder ...
387
Voted
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
381
Voted
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
344
Voted
Book
"I wrote the first edition this book with the goal of identifying synchronization
idioms and patterns that could be understood in isolation and then assembled
to solve compl...
149
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we take a look at the start of the art in smart environments research. The survey is motivated by the recent dramatic increase of activity in the field, and summariz...