The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...
Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented featur...
Yijun Yu, Julio Cesar Sampaio do Prado Leite, Alex...
The modeling of the human visual attention into a computational attention model leads to the split of visual features into several independent channels. Then, a difficult problem ...
Christel Chamaret, Jean-Claude Chevet, Olivier Le ...
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...