We propose in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This new model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modelling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.
This paper presents a novel home emergency management system (HEMS) for managing home emergency situations. The proposed solution is a generic and based on normalized technologies. First, we have identified a set of requirements that a robust HEMS should satisfy (interoperability, security, mobility, etc). Then, we have opted for an extended finite-state machine to detect and manage emergency situations. We also adopted WebRTC to enable communication in an interoperable manner. For securing our HEMS, we have used HTTPS, password, contextual role-based access control, and we have finally installed all the public servers into a protected area. The result obtained from the test-bed demonstrates that the proposed HEMS fills all the listed requirements. Furthermore, it gives very interesting results in terms of round-trip delay time and scalability.
KEYWORDScontextual role-based access control, extended finite-state machine, home emergency management system, remote patient monitoring, smart home security and privacy, web real-time communication Softw Pract Exper. 2018;48:761-774. wileyonlinelibrary.com/journal/spe
International audienceWith the rapid evolution of Linked Open Data (LOD), researchers are exploiting it to solve particular problems such as semantic similarity assessment. Existing LOD-based semantic similarity approaches attach compared data (terms or concepts) to LOD resources to exploit their semantic descriptions and relationships with other resources and estimate the degree of overlap between resources. Current approaches suffer from two limitations: they focus on the analysis of links between resources and ignore the important taxonomic structure of concepts and categories used to describe resources. On the other hand, they do not exploit interlinks between LOD resources in order to enrich data used to compute the similarity score. In this paper, we overcome the above limitations by proposing a new LOD-based similarity measure based on the combination of ontological, classification and property dimensions of LOD resources
We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users; so we opted for an interface combining simplicity and ergonomics.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.