Context-aware systems are ubiquitous computing systems capable to adapt themselves to a
dynamically changing environment. Ensuring consistency in context-aware systems has …

The propositional modal μ-calculus is a well-known specification language for labeled
transition systems. In this work, we study an extension of this logic with converse modalities …

The μ-calculus is an expressive modal logic with fixed-point operators, well-known as a
formal language to specify and verify labeled transition systems. We describe a satisfiability …

Пропозициональное модальное µ-исчисление является хорошо известным языком
спецификаций систем помеченных переходов. В этой работе мы изучаем расширение …

Attention aware systems keep track of users attention in order to react and provide a better
interaction experience. In the educational setting, recent research results have showed …

This paper presents a new electronic system that uses technology which is the student
enrolment system (SES) used at the University of Technology (Baghdad). The work aims to …

Las lógicas modales forman una familia de lenguajes formales ampliamente utilizados en
diversos dominios de las ciencias de la computación, tales como la verificación de sistemas …

Modeling and verification of context-aware systems have been proven to be a challenging
task mainly because expressive modeling implies, in most cases, expensive verification …

The propositional modal μ-calculus is a well-known specification language for labeled
transition systems. In this work, we study an extension of this logic with converse modalities …

Modeling and verification of context-aware systems have been proven to be a challenging
task mainly because expressive modeling implies, in most cases, expensive verification …