4520 search results - page 338 / 904 » Algebraic Techniques for Timed Systems |
194
click to vote
ESORICS
2004
Springer
16 years 27 days ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
165
Voted
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we present a study on pilot aided time and frequency synchronization for Opportunistic Radio (OR) OFDM systems which apply adaptive subcarrier allocation technique...
141
Voted
DATE
2010
IEEE
16 years 18 days ago
2010
IEEE
—In state of the art systems, workload scheduling and server fan speed operate independently leading to cooling inefficiencies. In this work we propose GentleCool, a proactive m...
177
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
224
Voted
SETN
2010
Springer
15 years 11 months ago
2010
Springer
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...