2850 search results - page 375 / 570 » On Timed Models and Full Abstraction |
175
click to vote
TWC
2010
15 years 1 months ago
2010
Abstract--In this paper we investigate the opportunistic spectrum access in temporal domain where a secondary user shares a radio channel with a primary user during the OFF period ...
197
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The concept of cognitive radio (or secondary spectrum access) is currently under investigation as a promising paradigm to achieve efficient use of the frequency resour...
190
click to vote
GLOBECOM
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— This paper presents scheduling strategies for sensing workload in wireless sensor networks using Divisible Load Theory (DLT), which offers a tractable model and realist...
171
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Construction of secure hyperelliptic curves is of most important yet most difficult problem in design of cryptosystems based on the discrete logarithm problems on hyperel...
182
click to vote
JLP
2007
15 years 6 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...