2470 search results - page 229 / 494 » Liveness-Preserving Simulation Relations |
170
click to vote
CIA
2007
Springer
16 years 13 days ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
179
click to vote
PATMOS
2007
Springer
16 years 11 days ago
2007
Springer
Scalable video allows to decode a single video stream, or part of it, at varying quality of service (QoS). Since the amount of calculations scales with the QoS, energy dissipation ...
167
click to vote
ICRA
2006
IEEE
16 years 8 days ago
2006
IEEE
— In this paper, the tendon-sheath driving system for a robotic hand is presented and its force transmission characteristics are analyzed. The use of tendon-based transmission pe...
160
click to vote
ESTIMEDIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
150
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...