Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
A process model discovered from an event log of a multi-agent system often does not fully
cover certain viewpoints of its architecture. We consider those concerned with the structure …
cover certain viewpoints of its architecture. We consider those concerned with the structure …
Revisiting requirement engineering for intelligent manufacturing
JM Silva, PMG del Foyo, AZ Olivera… - International Journal on …, 2023 - Springer
The upcoming challenge for innovation in intelligent manufacturing design introduced a
demand for agility and flexibility, adapting production plants and processes to emerging …
demand for agility and flexibility, adapting production plants and processes to emerging …
Property-preserving transformations of elementary net systems based on morphisms
Structural transformations that preserve properties of formal models of concurrent systems
make their verification easier. We define structural transformations that allow to abstract and …
make their verification easier. We define structural transformations that allow to abstract and …
Uso de las herramientas digitales y el aprendizaje significativo en estudiantes de educación básica regular, 2023
C Yanarico Garcia - 2023 - repositorio.ucv.edu.pe
La investigación tuvo como propósito determinar la relación que existe entre el uso de las
herramientas digitales y el aprendizaje significativo en estudiantes de educación básica …
herramientas digitales y el aprendizaje significativo en estudiantes de educación básica …
Understanding the Digital World
Several academic disciplines study the digital world, including computer science,(business)
informatics,(management) information systems, software engineering, and artificial …
informatics,(management) information systems, software engineering, and artificial …