CoRaL - Policy language and reasoning techniques for spectrum policies

Proceedings - Eighth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2007

Volumn , Issue , 2007, Pages 261-265

  Elenius, Daniel ^a   Denker, Grit ^a   Stehr, Mark Oliver ^a   Senanayake, Rukman ^a   Talcott, Carolyn ^a   Wilkins, David ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; RADIO TRANSMISSION; SPECTRUM ANALYSIS;

SPECTRUM POLICIES; SPECTRUM SHARING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34748839536     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2007.13     Document Type: Conference Paper

References (11)

1. "ETSI Standard EN 301 893 V1.2.2 (2003-06)," 2003, Reference DEN/BRAN-002000-2.
2. G. Tonti, J. Bradshaw, R. Jeffers, R. Montanari, N. Suri, and A. Uszok, "Semantic Web Languages for Policy Representation and Reasoning: A Comparison of KAoS, Rei, and Ponder," in 2nd International Semantic Web Conference (ISWC2003). Springer-Verlag, 2003.
3. D. Wilkins, G. Denker, M.-O. Stehr, D. Elenius, R. Senanayake, and C. Talcott, "Policy-based cognitive radios," IEEE Wireless Communications Special Issue on Cognitive Wireless Networks, 2007, to appear.
4. G. Denker, D. Elenius, R. Senanayake, M.-O. Stehr, C. Talcott, and D. Wilkins, "CoRaL - An XG Policy Language. Request for comments." SRI International, Tech. Rep., 2007.
5. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1. Springer-Verlag, 1985.
6. M.-O. Stehr, "Towards a universal policy logic," SRI International, Tech. Rep., 2007.
7. G. Denker, D. Elenius, R. Senanayake, M.-O. Stehr, and D. Wilkins, "A policy engine for spectrum sharing," in IEEE Symposium on New Frontiers In Dynamic Spectrum Access Networks (DySPAN 2007), 2007.
8. M. Clavel, F. Durán, S. Eker, J. Meseguer, and M.-O. Stehr, "Maude as a formal meta-tool," in FM'99 - Formal Methods, J. Wing and J. Woodcock, Eds. Springer-Verlag, 1999, pp. 1684-1703, LNCS 1709.
9. J. Meseguer, "Conditional Rewriting Logic as a unified model of concurrency," Theoretical Computer Science, vol. 96, no. 1, pp. 73-155, 1992.
10. A. Bundy, "A survey of automated deduction," in Artificial Intelligence Today: Recent Trends and Developments, M. Woolridge and M. Veloso, Eds., 1999, pp. 153-174, LNCS 1600.
11. J. A. Robinson and A. Voronkov, Eds., Handbook of Automated Reasoning. Elsevier and MIT Press, 2001.