2838 search results - page 331 / 568 » Verifying Controlled Components |
110
Voted
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
This paper proposes to develop a system-wide energy consumption model for servers by making use of hardware performance counters and experimental measurements. We develop a real-t...
165
Voted
SIGMOD
2008
ACM
16 years 28 days ago
2008
ACM
We identify proximity breach as a privacy threat specific to numerical sensitive attributes in anonymized data publication. Such breach occurs when an adversary concludes with hig...
103
Voted
DCC
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper introduces a linear programming (LP) technique that performs ratedistortion based optimization for constrained video coding. Given the assumption of piecewise linear an...
149
Voted
ACHI
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
120
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...