Pervasive computing environment is high dynamic, and programs need to be enough
intelligent to adapt to the dynamicity. Flexibility and adaptability are important features of …

Abstract Internet of Things (IoT) are quite diverse in their capabilities: ranging from tiny
sensors to Internet connected appliances. As a result, a particular computing activ-ity might …

Highly distributed environments (HDEs) are deployment environments that include powerful
and robust machines in addition to resource-constrained and mobile devices such as …

Le respect de contraintes provenant des exigences de niveau système reste un problème
ouvert pour l'ingénierie des systèmes complexes. Une incompréhension ou une ambiguïté à …

Résumé Les services de téléphonie IP exploitent des ressources réseaux pour automatiser
le traitement des stimuli de communication. Cependant, l'ajout de services rend vulnérable …

The rising diversity of verification tools—proof assistants, model checkers, satisfiability
solvers, predicate abstractors, to name a few—can be seen as both a testament to the health …