Weighted Pushdown Systems with Indexed Weight Domains

Get full text

Detecting Unrealizability of Distributed Fault-tolerant Systems

Get full text

Modelling MAC-Layer Communications in Wireless Systems

Get full text

Stochastic Parity Games on Lossy Channel Systems

Get full text

Approximation systems for functions in topological and in metric spaces

Get full text

Vector Addition System Reversible Reachability Problem

Get full text

URSA: A System for Uniform Reduction to SAT

Get full text

Dynamic Dependency Pairs for Algebraic Functional Systems

Get full text

Formalization of Abstract State Transition Systems for SAT

Get full text

Propositional Dynamic Logic for Message-Passing Systems

Get full text

A Type System For Call-By-Name Exceptions

Get full text

Security Policies as Membranes in Systems for Global Computing

Get full text

Labelled transition systems as a Stone space

Get full text

A Recommendation System Based on Fuzzy Signature

Get full text

Module checking of pushdown multi-agent systems

Get full text

Collection Management Matters — BFF: Collaborative Partnerships of Collection Management and Systems Librarians

Get full text

Refactoring Alma: Simplifying Circulation Settings in the Alma Integrated Library System (ILS)

Get full text

A TCGAN-Based Real-Time Personalized Motion Guidance System to Reduce Compensatory Movements in Post-Stroke Rehabilitation

Subjects: “…— — — — Journal of Information Systems…”
Get full text

Deciphering groundwater potential zones of Sarenga block, West Bengal, India using Geographic Information System and Multi-Criteria Decision-Analysis methods

Get full text

Tutors’ Experiences of Using a Data-Free Mobile Instant Messenger for Electronic Tutoring: A Case Study in Accounting and Information Systems Courses

Get full text