Cloud-based technologies play a significant role in the technology-enhanced learning domain. The adoption of cloud technologies in the educational environment has a positive impact on the learning process by offering new tools and services to improve and support the learning life cycle,...

Предложена операционная модель интуитивного доказательства, представляющая собой последовательность команд, операндами которых служат формализованные...

This article presents an original method using high level Petri nets for the specification and design of interactive systems. We suggest an agent oriented architecture based on the classic components of an interactive application (application, dialogue control, interface with the application)....