11168 search results - page 1472 / 2234 » Abstract State Processes |
309
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
— The Dark Silicon Age kicked off with the transition to multicore and will be characterized by a wild chase for seemingly ever-more insane architectural designs. At the heart o...
181
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
ls is an abstract audio-video installation that seeks to initiate and sustain interaction between and within two remote spaces. Our goal is to improve the social aspects of casual...
332
click to vote
VLDB
2006
ACM
16 years 7 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
193
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
188
click to vote
ACSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...