No abstract

No abstract

No abstract

This paper describes a study of the role and methods for context capturing in smart spaces. The collected context information is captured for further use by pro-active services provided in user-centric service spaces. Another aspect addressed by the paper is representation of the Network Protocols and Algorithms ISSN 1943-3581 2012 www.macrothink.org/npa 85 collected context data in human-readable format. For that purpose we use collaborative mind map editor HiveMind. The developed solution for context management is illustrated by the case study. We apply the proposed method for capturing context information to the smart space application Smart Conference System and use HiveMind as user-friendly context monitoring tool.

Very often the question of efficiency in terms of execution time memory usage, or power consumption of the dedicated hardware/software systems is of utmost interest that is why different variants of algorithms are developed. In many situations the original algorithm is modified to improve its efficiency in terms like power consumption or memory consumption which were not in the focus of the original algorithm. For all this modifications it is crucial that functionality and correctness of the original algorithm is preserved [1].A lot of systems increasingly applying embedded software solutions to gain flexibility and cost-efficiency. One of the various approaches toward the correctness of systems is a formal verification technique which allows to verify the desirable behavior properties of a given system. This technique nowadays is well known as model checking. Model is expected to satisfy desirable properties.Verification is the analysis of properties of all admissible program results through formal evidence for the presence of required properties. The basic idea of verifying the program is to formally prove the correspondence between the programming language and the specification of the problem.Program and specification describe the same problem using different languages. Specification languages are purely declarative, human-centered. Imperative programming languages are more focused on executing on the computing device. Therefore less natural for men.Likewise, this technique is an excellent debugging instrument. From the standpoint of programming technology verification enables to obtain a better strategy for debugging programs.