3864 search results - page 297 / 773 » time 2005 |
150
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
188
click to vote
CSMR
2005
IEEE
16 years 9 days ago
2005
IEEE
Real world software systems undergo, during their lifetime, to repeated maintenance activities. Due to the market pressure and to the need for having back the system operational i...
172
click to vote
CW
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...
154
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a scheme to combine memory and power management for achieving better energy reduction. Our method periodically adjusts the size of physical memory and the time...
156
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Temperature affects not only the reliability but also the performance, power, and cost of the embedded system. This paper proposes a thermal-aware task allocation and scheduling a...