Found 4 document(s)
Page 1 of 1
-
This paper presents a process calculus framework for modeling ubiquitous computing systems and dynamic component-based structures as location graphs. A key aspect of the framework is its ability to model nested locations...
-
La recherche des 20 dernières années en infrastructure de serveur a permis l'émergence d'une activité économique intense bâtie sur le web, dont Amazon est un exemple de réussite avec un chiffre d'affaire dépassant 30 mil...
-
Behavioral theory for higher-order process calculi is less well devel- oped than for first-order ones such as the π-calculus. The most natural process equivalence relation, barbed congruence, is difficult to use in pract...
-
Les architectures de noyaux monolithiques s'avérant inadéquates pour exploiter pleinement les resources matérielles, on s'intéresse dans cet article au modèle exo-noyau et à l'architecture de systèmes répartis THINK, du ...