2873 search results - page 232 / 575 » Model Checking and the Mu-calculus |
143
click to vote
AHSWN
2010
15 years 4 months ago
2010
Considerations of realistic channel dynamics motivate the design of a new breed of opportunistic schemes, such as opportunistic transmission, scheduling and routing. Compared to t...
164
click to vote
SMI
2010
IEEE
15 years 2 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
143
click to vote
JSAC
2011
14 years 11 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
118
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
140
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. Performing effective preference-based data retrieval requires detailed and preferentially meaningful structurized information about the current user as well as the items ...