Showing 12,741 - 12,760 results of 28,739 for search '"computability"', query time: 0.16s Refine Results
  1. 12741
  2. 12742
  3. 12743
  4. 12744

    Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems by George Voutsadakis

    Published 2013-01-01
    “…The widespread and rapid proliferation of logical systems in several areas of computer science has led to a resurgence of interest in various methods for combining logical systems and in investigations into the properties inherited by the resulting combinations. …”
    Get full text
    Article
  5. 12745
  6. 12746
  7. 12747
  8. 12748
  9. 12749
  10. 12750
  11. 12751
  12. 12752
  13. 12753
  14. 12754
  15. 12755
  16. 12756

    A hierarchical access control scheme based on Lagrange interpolation for mobile agents by Tsung-Chih Hsiao, Zhen-Yu Wu, Tzer-Long Chen, Yu-Fang Chung, Tzer-Shyong Chen

    Published 2018-07-01
    “…This article proposes to use a function defined by Lagrange polynomial to compute decryption key. Each host will be given a decryption key to access the confidential document by inputting a secret key into an interpolation function which is generated from Lagrange interpolation. …”
    Get full text
    Article
  17. 12757
  18. 12758
  19. 12759
  20. 12760