ed the key process areas from the PCMM and made a checklist. Preparatory task number two was complete. However, I still felt underprepared. Certainly people and process are importa...
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
Peace is an extremely important value for humankind, yet it has been largely ignored by the computing and human-computer interaction community. This paper seeks to begin a discuss...
Digital identities represent who we are when engaging in online activities and transactions. The rapid growth in the number of online services leads to in an increasing number of ...
It is a large collection of software supporting the planning, execution and reporting of work activities, but these systems are mainly created to be run in a distributed wired net...