1398 search results - page 77 / 280 » Ensuring Properties of Interaction Systems |
158
click to vote
HICSS
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
146
click to vote
MBEES
2010
15 years 5 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
134
click to vote
INTERACT
1997
15 years 5 months ago
1997
The current solutions to disclosing privacy in computer-mediated communication are two-fold: either the connection is permitted and an audio-video link is opened providing a full-b...
168
click to vote
DKE
2008
15 years 4 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
112
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
Symmetric-ISA (instruction set architecture) asymmetricperformance multicore processors were shown to deliver higher performance per watt and area for codes with diverse architect...