Search Results - information system

  1. Analyzing Timed Systems Using Tree Automata

    Get full text
    Online Article RSS Article
  2. Reasoning about Data Repetitions with Counter Systems

    Get full text
    Online Article RSS Article
  3. Weighted Pushdown Systems with Indexed Weight Domains

    Get full text
    Online Article RSS Article
  4. Detecting Unrealizability of Distributed Fault-tolerant Systems

    Get full text
    Online Article RSS Article
  5. Modelling MAC-Layer Communications in Wireless Systems

    Get full text
    Online Article RSS Article
  6. Stochastic Parity Games on Lossy Channel Systems

    Get full text
    Online Article RSS Article
  7. Approximation systems for functions in topological and in metric spaces

    Get full text
    Online Article RSS Article
  8. Vector Addition System Reversible Reachability Problem

    Get full text
    Online Article RSS Article
  9. URSA: A System for Uniform Reduction to SAT

    Get full text
    Online Article RSS Article
  10. Dynamic Dependency Pairs for Algebraic Functional Systems

    Get full text
    Online Article RSS Article
  11. Formalization of Abstract State Transition Systems for SAT

    Get full text
    Online Article RSS Article
  12. Propositional Dynamic Logic for Message-Passing Systems

    Get full text
    Online Article RSS Article
  13. A Type System For Call-By-Name Exceptions

    Get full text
    Online Article RSS Article
  14. Security Policies as Membranes in Systems for Global Computing

    Get full text
    Online Article RSS Article
  15. Labelled transition systems as a Stone space

    Get full text
    Online Article RSS Article
  16. A Recommendation System Based on Fuzzy Signature

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  17. Module checking of pushdown multi-agent systems

    Get full text
    Online Article RSS Article
  18. Collection Management Matters — BFF: Collaborative Partnerships of Collection Management and Systems Librarians

    Published in Against the Grain (2021)
    Get full text
    Online Article RSS Article
  19. Refactoring Alma: Simplifying Circulation Settings in the Alma Integrated Library System (ILS)

    Published in Code4Lib Journal (2025)
    Get full text
    Online Article RSS Article
  20. "Spatial Distribution of Forest Reserves and Sawmills in Oyo State, Nigeria"

    Published 2017
    Subjects: “…geographic information system…”
    Full Text Available
    Access Repository
    Article