Dienstleistungen (allgemein)

A survey of theories for mobile agents

Description: 

This paper presents a comparative survey of formalisms related to mobile agents. It describes the π-calculus and its extensions, the Ambient calculus, Petri nets, Actors, and the family of generative communication languages. Each of these formalisms defines a mathematical framework that can be used to reason about mobile code; they vary greatly in their expressiveness, in the mechanisms they provide to specify mobile code based applications and in their practical usefulness for the validation and the verification of such applications. In this paper we show how these formalisms can be used to represent the mobility and communication aspects of two mobile code environments: Obliq and Messengers. We compare and classify the different formalisms with respect to mobility and discuss some shortcomings and desirable extensions. We also point to other emerging concepts in formalisms for mobile code systems.

Intégration d'ontologies pour l'accès à une bibliothèque d'hyperlivres virtuels

Augmented Hyperbooks through Conceptual Integration

Body Area Networks for Ambulant Patient Monitoring Over Next Generation Public Wireless Networks

Description: 

The forthcoming wide availability of high bandwidth public wireless networks combined with the evolution of performant body area networks will give rise to new mobile health care services. The MobiHealth , , project has developed and trialed a customisable vital signals' monitoring system based on a Body Area Network (BAN) and an m-health service platform utilizing UMTS and GPRS networks. The developed system allows the incorporation of diverse medical sensors via wireless connections, and the live transmission of the measured vital signals over public wireless networks to healthcare providers. Nine trials with different healthcare cases and patient groups in four different European countries have been conducted to test and verify the system, the service and the network infrastructure for its suitability and the restrictions it imposes to mobile health care applications.

Statistique - Zoug

DE
Domaines et sous domaines: 
Branchen DienstleistungenDienstleistungen (allgemein)
Branchen Landwirtschaft und natürliche RessourcenLandwirtschaft und natürliche Ressourcen
VolkswirtschaftslehreStatistik und Ökonometrie

Seiten

Le portail de l'information économique suisse

© 2016 Infonet Economy

RSS - Dienstleistungen (allgemein) abonnieren