• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 131
  • 109
  • 22
  • 10
  • 10
  • 8
  • 8
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 343
  • 179
  • 82
  • 69
  • 61
  • 60
  • 59
  • 56
  • 50
  • 49
  • 42
  • 39
  • 37
  • 36
  • 36
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

Pervasive Film : Mobil, interaktiv och platsberoende film, en fallstudie / Pervasive Film : Mobile, interactive and place dependent film, a case study

Dahlgren, Anna January 2010 (has links)
No description available.
52

Pervasive Film : Mobil, interaktiv och platsberoende film, en fallstudie / Pervasive Film : Mobile, interactive and place dependent film, a case study

Dahlgren, Anna January 2010 (has links)
No description available.
53

Uma abordagem para a escolha da melhor interface de exibição de anúncios na propaganda pervasiva. / An approach to choosing the best display interface for ads in pervasive advertising.

OURIQUES, Paulo Victor Silva. 18 April 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-04-18T16:32:06Z No. of bitstreams: 1 PAULO VICTOR SILVA OURIQUES - DISSERTAÇÃO PPGCC 2014..pdf: 15529498 bytes, checksum: 878a0f70f377ee9edf9e0347c482a19b (MD5) / Made available in DSpace on 2018-04-18T16:32:06Z (GMT). No. of bitstreams: 1 PAULO VICTOR SILVA OURIQUES - DISSERTAÇÃO PPGCC 2014..pdf: 15529498 bytes, checksum: 878a0f70f377ee9edf9e0347c482a19b (MD5) Previous issue date: 2014-02-15 / A Propaganda Pervasiva diferencia-se das demais formas de veiculação de anúncios por permitir a entrega responsiva ao contexto dos consumidores. Dessa forma, é possível entregar aos consumidores os anúncios mais relevantes, proporcionando maior efetividade à campanha publicitária. Atualmente, os sistemas de entrega de anúncios apenas levam em consideração a relevância do anúncio para o cliente, não se preocupando com a maneira com a qual esses anúncios serão exibidos e nem com a influência causada por essa forma de exibição na relevância do anúncio. Sendo assim, objetiva-se neste trabalho elaborar um mecanismo que permita exibir um anúncio ao consumidor através do canal de veiculação mais apropriada. Para isso,é preciso que este mecanismo leve em consideração a influência que o canal de veiculação exerce sobre a relevância do anúncio e qual o propósito da campanha publiciária à qual pertence o anúncio. Tendo esta infraestrutura desenvolvida, será muito mais fácil elaborar mecanismos de avaliação da campanha publicitária levando em consideração a forma de exibição dos anúncios. Estes mecanismos poderão indicar qual o canal de veiculação que mais impactou o cliente, qual a que obteve maior audiência, qual foi a mais indicada, etc. Para validar os modelos desenvolvidos, foram realizadas baterias de experimentos com foco no impacto do tempo de resposta de um canal de veiculação na relevância do anúncio. A análise dos resultados permite mostrar que é possível sim utilizar o tempo de resposta para escolher o canal mais adequando para veicular um anúncio, assegurando-se que o propósito da campanha publicitária seja satisfeito. / Pervasive Advertising differs from other forms of ad serving because allows responsive delivery to the consumer context. Thus, it’s possible to deliver to consumers the most relevant ads, providing greater effectiveness to advertising campaign. Nowadays the delivering ads systems only consider the relevance of the ad to the client, not worrying about the way those ads are displayed and ignoring the influence caused by this form of display in ad relevance. Thus, the objective of this work is develop a mechanism that shows an ad to the consumer through the most appropriate display interface. For this,the mechanism must to consider the influence that the interface exerts on relevance of the ad. Whith this infrastructure, will be much easier to develop mechanisms for evaluating the hype,considering the way of delivering ads. These mechanisms may indicate the display interface that most impacted the user, which obtained larger audience, which was better indicated, etc. To validate the developed models, experiments focusing on the impact the response time of a channel broadcasting in ad relevance were held. The result analysis shows that it’s possible to use the response time to choose the channel ad serving, ensuring that the purpose of the advertising campaign is satisfied.
54

UMA METODOLOGIA PARA O USO DE ONTOLOGIAS APLICADAS À DESCRIÇÃO DE CONTEXTO EM AMBIENTES HOSPITALARES PERVASIVOS

Gassen, Jonas Bulegon 25 March 2010 (has links)
Made available in DSpace on 2018-06-27T18:56:27Z (GMT). No. of bitstreams: 3 Jonas Bulegon Gassen.pdf: 799149 bytes, checksum: 2d5d71d3a957faa5f82feebbf14e88fc (MD5) Jonas Bulegon Gassen.pdf.txt: 183193 bytes, checksum: ac769c0da06ca7ce3b8154b94c90eaf6 (MD5) Jonas Bulegon Gassen.pdf.jpg: 3509 bytes, checksum: dfc698f4611f3e08f6acfc0f11a92b31 (MD5) Previous issue date: 2010-03-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / For a hospital environment can be called as "pervasive", it requires that all the entities that are present in this context (like people and equipment) are sinchronized to perform the daily common tasks. Inside these environments, the computational devices should be considered tools to access information and, therefore, they shouldn't be the focus of attention of the professional. Thus, they should be used naturally. For the system to behave in such a way, it is necessary that it adapts itself to the users contexts. One of the most indicated ways to represent these contexts is through ontologies, due to the great expressivity that they allow. However, environments such as proposed require an extremely dynamic system to represent the context in a coherent manner with the changes in this environment, because their professionals encounter a frequent changing of shifts and tasks in which they work with diferent patients and information from diferent sources. To this end, this dissertation proposes an architecture for a hospital pervasive that seeks to provide all the features mentioned above. / Para que um ambiente hospitalar possa vir a tornar-se pervasivo, necessita-se que as entidades presentes neste contexto (como pessoas e equipamentos) estejam em perfeita sincronia para a realização das tarefas comuns do dia-a-dia. Dentro destes ambientes, os dispositivos computacionais devem ser considerados ferramentas para o acesso à informação e, portanto, não devem ser foco de atenção dos profissionais. Desta forma, os mesmos devem ser utilizados de forma natural. Para que o sistema possa se comportar de tal forma, é necessário que o mesmo se adapte ao contexto dos usuários. Uma das maneiras mais indicadas para efetuar a representação destes contextos é através de ontologias, devido a grande expressividade que estas permitem. Entretanto, ambientes como o proposto necessitam de um sistema extremamente dinâmico para representar o contexto de forma coerente com as modificações ocorridas neste ambiente, pois seus profissionais contam com uma freqüente modificação de turnos e tarefas, onde os mesmos trabalham com diferentes pacientes e informações provenientes de diferentes fontes. Para tal, esta dissertação propõe uma arquitetura para um ambiente hospitalar pervasivo que busca prover todas as funcionalidades acima citadas.
55

Role of general regulatory factors in the control of gene expression and transcription fidelity / Rôle des facteurs de transcription dans le contrôle de l'expression des gènes et de la fidélité de la transcription

Challal, Drice 02 July 2019 (has links)
Ces dernières décennies ont été marquées par la découverte de la transcription dite « cachée » ou « pervasive ». Il a été en effet montré que la majeure partie du génome des eucaryotes est transcrite, donnant naissance à la formation de nombreux ARNs non-codants. La délimitation des unités de transcription apparait essentielle dans le contrôle de l’expression des gènes mais également dans le maintien de l’intégrité des processus associés à l’ADN en limitant notamment l’apparition de conflits avec la transcription. Dans ce contexte, l’initiation et la terminaison de la transcription représentent des étapes clés dans le partitionnement du génome et le métabolisme des ARNs. Nous avons montré que certains facteurs de transcription, appelés GRFs (General Regulatory Factors) chez la levure S. cerevisiae, jouent un rôle important dans le contrôle de la transcription pervasive à la fois au niveau de l’initiation mais également de la terminaison de la transcription et sont également requis pour assurer la fidélité de la transcription des gènes codant les ARN messagers. Nous avons prouvé que les GRFs liés au niveau des régions promotrices sont capables d’induire la terminaison de la transcription en bloquant physiquement la progression d’ARN polymérases issues de la translecture des terminateurs situés en amont. D’après nos études, cette voie de terminaison appelée « roadblock » est très répandue à l’échelle du génome et joue un rôle important dans la protection des promoteurs contre l’interférence transcriptionnelle. Nous avons également découvert que les GRFs limitent la transcription pervasive en obstruant les sites d’initiations ectopiques situés à proximité de leur site de fixation sur l’ADN. Ces facteurs sont aussi impliqués dans le contrôle de l’expression des gènes codants en favorisant l’utilisation de sites d’initiations les plus appropriés, c’est-à-dire, permettant la synthèse d’ARNs ayant un fort potentiel codant. Le rôle des GRFs dans le contrôle de l’initiation apparait intimement lié à leur capacité à correctement positionner les nucléosomes au niveau des promoteurs en collaboration avec les facteurs de remodelage de la chromatine. / The last decades have been marked by the discovery of pervasive transcription. Indeed, many studies have shown that transcription by RNA polymerase II is not restricted to annotated regions but is widespread in eukaryotic genomes, leading to the production of a plethora of non-coding RNAs. Precise delimitation of transcriptional units appears to be essential to ensure robust fidelity of gene expression and to maintain the integrity of DNA-associated events by preventing the occurrence of conflicts with transcription. In this respect, accurate transcription initiation and termination represent crucial mechanisms to partition the genome and define the correct processing of RNA molecules. Here, we show that yeast general regulatory factors (GRFs), a class of highly expressed transcription regulators, control pervasive transcription at the level of initiation and termination and are also involved in the fidelity of initiation of mRNA-coding genes. We demonstrate that GRFs bound at promoter regions can elicit transcription termination by physically impeding the progression of polymerases mainly deriving from readthrough transcription at upstream canonical termination sites. We provide evidence that this termination pathway named roadblock is widespread throughout the yeast genome and protects promoter regions from transcriptional interference. Furthermore, we establish that the presence of general regulatory factors also limits pervasive transcription at the level of initiation, notably by occluding spurious transcription start sites present in the vicinity of their binding sites. We also unveil the importance of these factors in promoting correct transcription start site selection at mRNA-coding genes thus favouring the synthesis of transcripts with an appropriate coding potential. Finally, we determine that the role of GRFs in controlling proper initiation is intimately linked to their ability to correctly position nucleosomes in promoters, a role that occurs independently from but in cooperation with chromatin remodelers.
56

Applications communautaires spontanées dynamiquement reconfigurables en environnement pervasif / Dynamically reconfigurable applications for spontaneous communities in pervasive environment

Ben Nejma, Ghada 22 December 2015 (has links)
Depuis quelques années, des évolutions importantes ont lieu en matière d’infrastructures technologiques. En particulier, la démocratisation des dispositifs mobiles (comme les PCs, Smartphones, Tablettes, etc.) a rendu l’information accessible par le grand public partout et à tout moment, ce qui est l’origine du concept d’informatique ubiquitaire. L’approche classique des systèmes de l’informatique ubiquitaire, qui répondent aux besoins des utilisateurs indépendants les uns des autres, a été bouleversée par l’introduction de la dimension sociale. Ce rapprochement est à l’origine d’une discipline naissante « le pervasive social computing » ou l’informatique socio-pervasive. Les applications socio-pervasives connaissent une véritable expansion. Ces dernières intègrent de plus en plus la notion de communauté. Le succès des applications communautaires se justifie par le but poursuivi par ces dernières qui est de répondre aux besoins des communautés et d’offrir un ‘chez soi’ virtuel, spécifique à la communauté, dans lequel elle va construire sa propre identité et réaliser ses objectifs. Par ailleurs, la notion de communauté représente une source d’informations contextuelles sociales. Elle est, aujourd’hui, au cœur des problématiques de personnalisation et d’adaptation des applications informatiques. Dans le cadre de cette thèse, nous étudions sous différents aspects les applications informatiques centrées communautés existantes et soulignons un certain nombre de carences au niveau même de la notion de communauté, des modèles de communautés, ou encore des architectures dédiées à ces applications communautaires, etc. Pour remédier à ces défauts, nous proposons trois principales contributions : Un nouveau type de communauté adapté aux exigences des environnements pervasifs qui vient rompre avec les traditionnelles communautés pérennes thématiques : des communautés éphémères, géolocalisées et spontanées (sans contrainte thématique). 
 Un modèle de communauté basé sur les standards du web sémantique pour répondre aux problèmes liés à l’hétérogénéité de conception des communautés. Une architecture dynamiquement reconfigurable pour promouvoir les communautés spontanées en aidant les utilisateurs nomades à intégrer des communautés environnantes et à découvrir les services dédiés. 
Nous montrons la faisabilité de nos propositions pour la conception et le développement d’applications communautaires spontanées grâce au prototype Taldea. Enfin, nous testons les approches proposées de découverte de communauté et de services à travers plusieurs scénarios caractérisés par la mobilité et l’ubiquité. / Advances in technology, in particular the democratization of mobile devices (PCs, smartphones and tablets), has made information accessible to anyone at any time and from anywhere while facilitating the capture of physical contextual data, thereby justifying the growing interest for pervasive computing. The classical approach of pervasive computing has been affected by the introduction of the social dimension. Ubiquitous systems do not meet the needs of users independently from each other but do take into account their social context. Fostering the social dimension has given rise to a fast growing research field called Pervasive Social Computing. Applications in this area are increasingly concerned by communities. The contextual information associated with a community can be harnessed for personalization, adaptability and dynamic deployment of services, which are important factors for Pervasive Computing. A community is considered in our approach as a set of distinct social entities that should be supported with services as a single user is. In this thesis, we look into different aspects of existing centered communities applications and we identify several weaknesses and shortcomings in the notion of community, the community models, and the architecture of communities’ applications. To overcome these shortcomings, we propose three main contributions: A new type of communities that fits better with the requirements of pervasive environments: short- lived, geolocated and spontaneous (without thematic constraint) community. Intuitively, it is the type of community that best matches with circumstantial, accidental, incidental or fortuitous situations. This kind of community has to meet specific needs, which are not taken into account by perennial thematic communities. 
 A model for communities based on semantic web standards to overcome the problem of heterogeneity across definitions and models. The ontological representation allows us to organize and represent social data, to make information searches easier for users and to infer new knowledge. 
 A dynamically reconfigurable architecture for fostering spontaneous communities in order to facilitate the user access to communities, information exchange between community members and service discovery. 
The proposed architecture for community and service discovery have been validated through a prototype called Taldea and have been tested through several scenarios characterized by mobility and ubiquity.
57

Un modèle à composant pour la gestion de contextes pervasifs orientés service / A component model for pervasive service oriented context management

Aygalinc, Colin 18 December 2017 (has links)
L'informatique pervasive promeut une vision d'un cadre dans lequel un patchwork de ressources hétérogènes et volatiles est intégré dans les environnements du quotidien. Ces ressources, matérielles ou logicielles, coopèrent de manière transparente, souvent aux travers d'applications, pour fournir des services à haute valeur ajoutée adaptés à chaque utilisateur et son environnement, grâce à la notion de contexte. Ces applications sont déployées dans un large spectre d'environnements d'exécution, allant d'infrastructures distantes de Cloud Computing jusqu'au plus près de l'utilisateur dans des passerelles Fog Computing ou directement dans les capteurs du réseau. Dans ces travaux, nous nous intéressons spécifiquement au module de contexte d'une plateforme Fog Computing. Pour faciliter la conception et l'exécution des applications Fog Computing, une approche populaire est de les bâtir au dessus d'une plateforme adoptant l'architecture à service, ce qui permet de réduire leur complexité et simplifie la gestion du dynamisme. Dans nos travaux, nous proposons d'étendre cette approche en modélisant le contexte comme un ensemble de descriptions de services, disponible à la conception, et exposé dynamiquement par le module de contexte à l'exécution, selon les besoins des applications et l'état de l'environnement. Ce module est programmé à l'aide d'un modèle à composant spécifique. L'unité de base de notre modèle à composant est l'entité de contexte, qui est composé de modules hautement cohérents implémentant distinctement les spécifications des services proposées par l'entité de contexte. Ces modules peuvent décrire de manière simple leur logique de synchronisation avec les sources de contexte distantes grâce à un langage dédié à ce domaine. A l'exécution, les instances d'entitées de contexte sont rendues introspectables et reconfigurables dynamiquement, ce qui permet, grâce à un manager autonomique externe, de veiller à la satisfaction des besoins des applications. Nous avons développé une implémentation de référence de ce modèle à composant, nommée CReAM, qui a pu être utilisée dans la passerelle domotique iCASA, développée en partenariat avec Orange Labs. / Pervasive computing promotes environments where a patchwork of heterogeneous and volatile resources are integrated in places of daily life. These hardware and software resources cooperate in a transparent way, through applications, in order to provide high valueadded services. These services are adapted to each user and its environment, via the notion of context. Pervasive applications are now widely distributed, from distant cloud facilities down to Fog Computing gateway or even in sensors, near the user. Depending on the localization, various forms of context are needed by the applications. In this thesis, we focus on the context module at Fog Level. In order to simplify the design and execution, Fog applications are built on top of a service-oriented platform, freeing the developer of technical complexity and providing a support to handle the dynamism. We propose to extend this approach by providing the context as a set of service descriptions, available at design to the application developer. At runtime, depending on the context sources availability and on application current needs, context services are published or withdrawn inside the platform by the context module. We tailor a specific component model to program this context module. The base unit of our component model is called context entity. It is composed of highly coherent modules, implementing distinctly each service description proposed by the underlying context entity. These modules can simply describe their synchronization logic with context sources thanks to a domain specific language. At runtime, context entity instances can be introspected and reconfigured. An external autonomic manager uses these properties to match dynamically the context services exposed by the context module to the application needs. We have developed a reference implementation of our work, called CReAM, which can be used in a smart home gateway called iCASA, developed in a partnership with Orange Labs.
58

Análise do ambiente do Pokémon Go considerando a arquitetura da informação pervasiva

Bezerra, Irvin Soares 16 June 2017 (has links)
Submitted by FABIANA DA SILVA FRANÇA (fabiana21franca@gmail.com) on 2017-11-23T18:20:51Z No. of bitstreams: 1 ArquivoTotal.pdf: 6700823 bytes, checksum: d1890d49777f7d1a16f60047d28d4718 (MD5) / Made available in DSpace on 2017-11-23T18:20:51Z (GMT). No. of bitstreams: 1 ArquivoTotal.pdf: 6700823 bytes, checksum: d1890d49777f7d1a16f60047d28d4718 (MD5) Previous issue date: 2017-06-16 / In Information Science research related to the use of information has been developed, with influence of information technology and telecommunications. Its development was more accelerated in the post-industrial period when society began to produce a large amount of information. In the 21st century, access to information through the use of the Internet with smartphones has become something within reach of the population, providing an increase in communication. The objective of this work was to analyze the Pokémon GO application, considering the Architecture of Pervasive Information, when the motivation of the use of this theme was the recent launch of applications for smartphones that use pervasive environments, highlighting the game that became a huge Success of downloads and brought a great innovation in the way of play. For the accomplishment of this research, the participant research methodology was adopted, in which the user-researcher interacts directly with the searched object. The collected data were analyzed in a qualitative way. Using the game environment and evaluating the pervasive interaction presented at the threshold between the physical and digital environment, the heuristics described by Resmini and Rosati (2011) were considered. In the use of the game were explored the physical environments present in the city of João Pessoa, in addition to the moments of interaction. In the results the adherence to the proposed heuristics was discussed and these were punctuated as Present, Partially Present and Not Present. Finally, the data were analyzed suggesting improvements both for the game, considering the Pervasive Information Architecture, and for the environment itself. / Na Ciência da Informação pesquisas relacionadas com a utilização da informação vêm sendo desenvolvidas com influência da informática e telecomunicações. O seu desenvolvimento foi mais acelerado no período pós-industrial em que a sociedade começou a produzir uma elevada quantidade de informações. No século XXI, o acesso à informação por meio do uso da internet por meio dos smartphones tornou-se algo ao alcance da população, proporcionando um aumento da comunicação. Diante desta temática, o presente trabalho teve como objetivo analisar o aplicativo Pokémon GO, considerando a Arquitetura da Informação Pervasiva em que a motivação da utilização desta temática foi o recente lançamento de aplicativos para smartphones que utilizam ambientes pervasivos, destacando o jogo que se tornou um enorme sucesso de downloads e trouxe uma grande inovação na forma de jogar. Para realização desta pesquisa, adotou-se a metodologia de pesquisa participante, na qual o usuário-pesquisador interage diretamente com o objeto pesquisado. Os dados coletados foram analisados de forma qualitativa. Ao utilizar o ambiente do jogo e avaliar a interação pervasiva apresentada no limiar entre o ambiente físico e digital foram consideradas as heurísticas descritas por Resmini e Rosati (2011). Na utilização do jogo foram explorados os ambientes físicos presentes na cidade de João Pessoa, além dos momentos de interação. Nos resultados discutiuse a aderência às heurísticas propostas e estas foram pontuadas como Presente, Parcialmente Presente e Não Presente. Por fim, os dados foram analisados, sugerindo-se melhorias tanto para o jogo, considerando a Arquitetura da Informação Pervasiva, como para o próprio ambiente.
59

Approche à base de vérification formelle de modèle pour une utilisation sécuritaire de la cuisinière d'un habitat intelligent

De Champs, Thibault January 2012 (has links)
Pour s'assurer que les personnes âgées soient en sécurité au domicile, le projet INOVUS s'intéresse aux risques liés à l'utilisation de la cuisinière. Dans le cadre de ce projet, les travaux de M.Sc. présentés dans ce mémoire se concentrent sur la perspective logicielle de la détection et de la prévention des risques physiques pour la personne, lors de la réalisation de tâches utilisant la cuisinière. Dans un premier temps, une revue des risques à domicile recensés dans la littérature a permis de définir la couverture nécessaire à une telle solution. Certaines situations dangereuses ont ensuite été sélectionnées pour définir un modèle de solution satisfaisant. Le développement d'une solution de sécurité pour la personne entraîne des contraintes de fiabilité de très haut niveau pour la technologie produite.Pour répondre à ce besoin, la proposition de ces travaux de M.Sc. est l'utilisation de spécifications formelles. Ces outils permettent d'obtenir un plus haut degré de fiabilité de logiciels. En se basant sur ces outils, un modèle de solution a été élaboré pour le projet INOVUS, et ce à l'aide du vérificateur de modèle ALLOY. Enfin, une implémentation en Java de ce prototype a été réalisée afin d'évaluer les résultats de détection des situations dangereuses. Ce prototype permet alors à la fois de valider l'approche de développement choisie, ainsi que d'établir une preuve de concept d'une telle solution de sécurité.
60

Policy-based approach for context-aware systems

Al-Sammarraie, Mohammed January 2011 (has links)
Pervasive (ubiquitous) computing is a new paradigm where the computers are submerged into the background of the everyday life. One important aspect of pervasive systems is context-awareness. Context-aware systems are those that can adapt their behaviours according to the current context. Context-aware applications are being integrated into our everyday activity aspects such as: health care, smart homes and transportations. There exist a wide range of context-aware applications such as: mobile phones, learning systems, smart vehicles. Some context-aware systems are critical since the consequence of failing to identify a given context may be catastrophic. For example, an auto-pilot system is a critical context-aware system; it senses the humidity, clouds, wind speed and accordingly adjusts the altitude, throttle and other parameters. Being a critical context-aware system has to be provably correct. Policy-based approaches has been used in many applications but not in context-aware systems. In this research, we want to discover the anatomy (i.e. architecture, structure and operational behaviour) of policy-based management as applied to context-aware systems, and how policies are managed within such a dynamic system. We propose a novel computational model and its formalisation is presented using the Calculus of Context-aware Ambients (CCA). CCA has been proposed as a suitable mathematical notation to model mobile and context-aware systems. We decided to use CCA due to three reasons: (i) in CCA, mobility and context-awareness are primitive constructs and are treated as first-class citizens; (ii) properties of a system can be formally analysed; (iii) CCA specifications are executable, and thus, leading to rapid prototyping and early validation of the system properties. We, then show how policies can be expressed in CCA. For illustration, the specification of the event-condition-action (ECA) conceptual policy model is modelled in CCA in a natural fashion. We also propose a policy-based architecture for context-aware systems, showing its different components, and how they interact. Furthermore, we give the specification of the policy enforcement mechanism used in our proposed architecture in CCA. To evaluate our approach, a real-world case study of an infostation-based mobile learning (mLearning) system is chosen. This mLearning system is deployed across a university campus to enable mobile users to access mobile services (mServices) represented by course materials (lectures, tests and tutorials) and communication services (intelligent message notification and VoIP). Users can access the mServices through their mobile devices (Hand-set phones, PDAs and laptops) regardless of their device type or location within a university campus. We have specified the mLearning system in CCA (i.e. specification based on policies of the mServices), afterwards, the specification is simulated using the CCA interpreter tool. We have developed an animation tool specially designed for the mLearning system. The animation tool provides graphical representation of the CCA processes. In terms of safety and liveness, some important properties of the mLearning system have been validated as a proof of concept.

Page generated in 0.0668 seconds