introduction: nowadays different countries benefit from health system based on health cards and projects related to smart cards. lack of facilities which cover this technology is obvious in our society. this paper aims to design minimum data sets of health smart card system for iran. methods: this research was an applied descriptive study. at first, we reviewed the same projects and guidelines ...

The future success of ubiquitous computing depends to a big part on how well applications can adapt to their environment and act accordingly. This thesis has set itself the goal of exploring perceptual computing for Smart-Its, which is one such ubiquitous computing vision. The thesis addresses this task by first presenting a literature survey of the terms context and context-awareness. Using on...

In this paper, we aim to propose a guidance and development of Environment protection and enhancement in Wuxi smart city. We start by presenting the importance of smart city and current state of the art of environmental protection technology in Wuxi and continue by proposing a line of smart government development for environmental enhancement that could positively impact the everyday life of it...

To use smart home services efficiently, semantic modeling of different layers of home network resources as well as environment data and user's personal data is required. This suggests that a smart home system must be able to support data fusion and derive the context where services are operating in order to classify the new information provided by network agents correctly. Following the recent ...

As mobile applications transition into providing richer content and supporting more use-cases, it has become increasingly apparent that smart-phones are constrained by battery life. Industry has put great effort into energy-aware hardware platforms, but little attention has been given to designing energy efficiency around user charging behavior. If smart-phones were to become capable of accurat...

SMART (http://www.cs.wm.edu/ ciardo/SMART/) is a software package integrating logic and stochastic modeling formalisms into a single environment. Models expressed in different formalisms can be combined in the same study. To study logical behavior, both explicit and symbolic state-space generation techniques, as well as CTL modelchecking algorithms, are available. To study stochastic and timing...

Smart object interfaces enable a computer to respond to a group of users’ manipulations of a physical environment. This unobtrusive interface is especially well suited for providing guidance as students attempt to solve mathematical and scientific puzzles. This paper introduces a formalism for describing arrangements of smart objects on a 2D surface, and suggests a strategy for efficiently repr...

The Open Smart Grid Protocol (OSGP) is a widely used industry standard for exchanging sensitive data between devices inside of smart grids. For message confidentiality, OSGP implements a customised form of the RC4 stream cipher. In this work, we show how already known weaknesses of RC4 can be exploited to successfully attack the OSGP implementation as well. The attack modification is able to ef...

Several crucial phases of the overall approach to development and design of smart structures are outlined in this paper. They are focused on control of lightweight mechanical structures with respect to active vibration and noise attenuation using piezoelectric actuators and sensors. The research experience and growing interest in development of smart structures have motivated introduction of co...