Matches in SemOpenAlex for { <https://semopenalex.org/work/W2407116945> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2407116945 abstract "We discuss the design and implementation of a formal policy system regulating dynamic spectrum access (DSA) for cognitive radios. DSA policies are represented and manipulated in a proof framework based on first-order logic with arithmetic and algebraic data types. Various algebraic operations combining such policies can be easily implemented in such a framework. Reasoning about transmission requests is formulated as a satisfiability-modulo-theories (SMT) problem. Efficient SMT solvers are used to answer the corresponding queries and also to analyze the policies themselves. Further, we show how to reason about transmission requests in an optimal way by modeling the problem as an SMT instance of weighted Max-SAT, and we demonstrate that this problem too can be efficiently solved by cutting-edge SMT solvers. We also show that additional optimal operations on transmission requests can be cast as classic optimization problems, and to that end we give an algorithm for minimizing integer-valued objective functions with a small number of calls to an oracle SMT solver. We present experimental results on the performance of our system, and compare it to previous work in the field." @default.
- W2407116945 created "2016-06-24" @default.
- W2407116945 creator A5001943239 @default.
- W2407116945 creator A5027781740 @default.
- W2407116945 creator A5034239421 @default.
- W2407116945 date "2011-01-01" @default.
- W2407116945 modified "2023-09-22" @default.
- W2407116945 title "An Application of Formal Methods to Cognitive Radios." @default.
- W2407116945 cites W102678610 @default.
- W2407116945 cites W1553068379 @default.
- W2407116945 cites W1559793414 @default.
- W2407116945 cites W2091755602 @default.
- W2407116945 cites W2106535730 @default.
- W2407116945 cites W2108243412 @default.
- W2407116945 cites W2144369278 @default.
- W2407116945 cites W2153620960 @default.
- W2407116945 cites W2167762629 @default.
- W2407116945 cites W2186246164 @default.
- W2407116945 cites W236654055 @default.
- W2407116945 cites W92576581 @default.
- W2407116945 cites W2585339290 @default.
- W2407116945 hasPublicationYear "2011" @default.
- W2407116945 type Work @default.
- W2407116945 sameAs 2407116945 @default.
- W2407116945 citedByCount "3" @default.
- W2407116945 countsByYear W24071169452012 @default.
- W2407116945 countsByYear W24071169452015 @default.
- W2407116945 crossrefType "journal-article" @default.
- W2407116945 hasAuthorship W2407116945A5001943239 @default.
- W2407116945 hasAuthorship W2407116945A5027781740 @default.
- W2407116945 hasAuthorship W2407116945A5034239421 @default.
- W2407116945 hasConcept C111498074 @default.
- W2407116945 hasConcept C11413529 @default.
- W2407116945 hasConcept C118615104 @default.
- W2407116945 hasConcept C134306372 @default.
- W2407116945 hasConcept C164155591 @default.
- W2407116945 hasConcept C168773769 @default.
- W2407116945 hasConcept C199360897 @default.
- W2407116945 hasConcept C2778770139 @default.
- W2407116945 hasConcept C33923547 @default.
- W2407116945 hasConcept C41008148 @default.
- W2407116945 hasConcept C54732982 @default.
- W2407116945 hasConcept C55166926 @default.
- W2407116945 hasConcept C56086750 @default.
- W2407116945 hasConcept C80444323 @default.
- W2407116945 hasConcept C9376300 @default.
- W2407116945 hasConceptScore W2407116945C111498074 @default.
- W2407116945 hasConceptScore W2407116945C11413529 @default.
- W2407116945 hasConceptScore W2407116945C118615104 @default.
- W2407116945 hasConceptScore W2407116945C134306372 @default.
- W2407116945 hasConceptScore W2407116945C164155591 @default.
- W2407116945 hasConceptScore W2407116945C168773769 @default.
- W2407116945 hasConceptScore W2407116945C199360897 @default.
- W2407116945 hasConceptScore W2407116945C2778770139 @default.
- W2407116945 hasConceptScore W2407116945C33923547 @default.
- W2407116945 hasConceptScore W2407116945C41008148 @default.
- W2407116945 hasConceptScore W2407116945C54732982 @default.
- W2407116945 hasConceptScore W2407116945C55166926 @default.
- W2407116945 hasConceptScore W2407116945C56086750 @default.
- W2407116945 hasConceptScore W2407116945C80444323 @default.
- W2407116945 hasConceptScore W2407116945C9376300 @default.
- W2407116945 hasLocation W24071169451 @default.
- W2407116945 hasOpenAccess W2407116945 @default.
- W2407116945 hasPrimaryLocation W24071169451 @default.
- W2407116945 hasRelatedWork W107535011 @default.
- W2407116945 hasRelatedWork W142473216 @default.
- W2407116945 hasRelatedWork W1511027747 @default.
- W2407116945 hasRelatedWork W1625314295 @default.
- W2407116945 hasRelatedWork W2000220850 @default.
- W2407116945 hasRelatedWork W2042762898 @default.
- W2407116945 hasRelatedWork W2048903787 @default.
- W2407116945 hasRelatedWork W2057587325 @default.
- W2407116945 hasRelatedWork W2163267264 @default.
- W2407116945 hasRelatedWork W2169653928 @default.
- W2407116945 hasRelatedWork W238742493 @default.
- W2407116945 hasRelatedWork W2401269204 @default.
- W2407116945 hasRelatedWork W2407103960 @default.
- W2407116945 hasRelatedWork W2558997757 @default.
- W2407116945 hasRelatedWork W2757888546 @default.
- W2407116945 hasRelatedWork W2946550414 @default.
- W2407116945 hasRelatedWork W2957921504 @default.
- W2407116945 hasRelatedWork W2964075550 @default.
- W2407116945 hasRelatedWork W3096869031 @default.
- W2407116945 hasRelatedWork W95926974 @default.
- W2407116945 isParatext "false" @default.
- W2407116945 isRetracted "false" @default.
- W2407116945 magId "2407116945" @default.
- W2407116945 workType "article" @default.