Search Results - Information Systems

Search alternatives:

Refine Results
  1. Cover Image

    Model Checking Synchronized Products of Infinite Transition Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    ConstraintHg: A Kernel for Systems Modeling and Simulation

    Published in Journal of Open Source Software (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    The Global Energy System Model (GENeSYS-MOD) v4.0 - A Flexible Energy System Modeling Framework for Julia and GAMS

    Published in Journal of Open Source Software (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Georgia Library Spotlight Spot DOT: Sequoyah Regional Library System’s Discovery Outreach Transport

    Published in Georgia Library Quarterly (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Empowering Online Teaching: A System Review of Online Instructors’ Professional Development in Higher Education

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Artificial Intelligence–Driven Accelerated Diagnostic Systems for Rapid X-Ray Interpretation, Automated Blood Analysis, and Ultra-Fast Laboratory Processing

    Published in Computer and Information Science (2026)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    FEC-Assisted PAPR Reduction in OFDM System—Performance Analysis

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Termination of Graph Transformation Systems Using Weighted Subgraph Counting

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    A Session Type System for Asynchronous Unreliable Broadcast Communication

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Architectures in parametric component-based systems: Qualitative and quantitative modelling

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    On Functions Weakly Computable by Pushdown Petri Nets and Related Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Faithful (meta-)encodings of programmable strategies into term rewriting systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Compositional Verification for Timed Systems Based on Automatic Invariant Generation

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Model Checking Vector Addition Systems with one zero-test

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: