1508 search results - page 162 / 302 » Toward Software Plug-and-Play |
SOSP
2005
ACM
14 years 7 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
SAC
2009
ACM
14 years 5 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
TEI
2009
ACM
14 years 5 months ago
2009
ACM
This paper presents our research toward the design and development of a library of electronic hardware modules called Blades and Tiles. Interaction hardware design with blades and...
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...