Sciweavers

1508 search results - page 162 / 302
» Toward Software Plug-and-Play
Sort
View
158
Voted
SOSP
2005
ACM
16 years 16 days ago
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems
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...
Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perr...
137
Voted
HICSS
2010
IEEE
162views Biometrics» more  HICSS 2010»
15 years 10 months ago
Risk-Based Decision Support in Service Value Networks
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...
Wibke Michalk, Benjamin Blau, Jochen Stö&szli...
118
Voted
SAC
2009
ACM
15 years 10 months ago
Development of a biosignals framework for usability analysis
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...
Inês Oliveira, Rui Lopes, Nuno Guimarã...
84
Voted
TEI
2009
ACM
100views Hardware» more  TEI 2009»
15 years 10 months ago
Decoupling interaction hardware design using libraries of reusable electronics
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...
Rajesh Sankaran, Brygg Ullmer, Jagannathan Ramanuj...
127
Voted
FOSSACS
2009
Springer
15 years 10 months ago
Realizability of Concurrent Recursive Programs
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...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...