Formal model for analysis of context dependencies in ubiquitous systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Formal model for analysis of context dependencies in ubiquitous systems

Résumé

To provide the user with most benefits and personalized services using the available computing resources in ad-hoc networks, context-aware applications need to assimilate both the accessed and derived context information in the network. Derived context is inherently dependent upon sensed data or/and other context information. Context dependency may get introduced in a system due to various reasons, but as the number of context dependencies for an application increases, the more complex the process becomes to develop and maintain such an application. Due to highly dynamic nature of mobile agents in an ad-hoc network, too many context dependencies can severely affect the performance of a context-aware application. Reducing context dependencies or providing alternative context sources is crucial for performance gains in context-aware applications. But before addressing the issues of context dependency, we reckon that a formal analysis of context dependencies is required to better understand the problem. It will be much easier to understand, develop and maintain a context application if we have knowledge of its context dependencies. So, we define in this paper a formal model of context dependencies in a pervasive environment
Fichier non déposé

Dates et versions

hal-01356345 , version 1 (25-08-2016)

Identifiants

Citer

Raheel Ali Baloch, Noel Crespi. Formal model for analysis of context dependencies in ubiquitous systems. ICDIM 2010 : 5th International Conference on Digital Information Management, Jul 2010, Thunder Bay, Canada. ⟨10.1109/ICDIM.2010.5663468⟩. ⟨hal-01356345⟩
38 Consultations
0 Téléchargements

Altmetric

Partager

More