Smart homes and their users: a systematic analysis and key challenges

Published research on smart homes and their users is growing exponentially, yet a clear understanding of who these users are and how they might use smart home technologies is missing from a field being overwhelmingly pushed by technology developers. Through a systematic analysis of peer-reviewed literature on smart homes and their users, this paper takes stock of the dominant research themes and the linkages and disconnects between them. Key findings within each of nine themes are analysed, grouped into three: (1) views of the smart home—functional, instrumental, socio-technical; (2) users and the use of the smart home—prospective users, interactions and decisions, using technologies in the home; and (3) challenges for realising the smart home—hardware and software, design, domestication. These themes are integrated into an organising framework for future research that identifies the presence or absence of cross-cutting relationships between different understandings of smart homes and their users. The usefulness of the organising framework is illustrated in relation to two major concerns—privacy and control—that have been narrowly interpreted to date, precluding deeper insights and potential solutions. Future research on smart homes and their users can benefit by exploring and developing cross-cutting relationships between the research themes identified.     

Simple substitution distance and metamorphic detection

To evade signature-based detection, metamorphic viruses transform their code before each new infection. Software similarity measures are a potentially useful means of detecting such malware. We can compare a given file to a known sample of metamorphic malware and compute their similarity—if they are sufficiently similar, we classify the file as malware of the same family. In this paper, we analyze an opcode-based software similarity measure inspired by simple substitution cipher cryptanalysis. We show that the technique provides a useful means of classifying metamorphic malware.     

Weaving patterns of lines and line segments in space

Aweaving W is a simple arrangement of lines (or line segments) in the plane together with a binary relation specifying which line is above the other. A system of lines (or line segments) in 3-space is called arealization ofW, if its projection into the plane isW and the above-below relations between the lines respect the specifications. Two weavings are equivalent if the underlying arrangements of lines are combinatorially equivalent and the above-below relations are the same. An equivalence class of weavings is said to be aweaving pattern. A weaving pattern isrealizable if at least one element of the equivalence class has a three-dimensional realization. A weaving (pattern)W is calledperfect if, along each line (line segment) ofW, the lines intersecting it are alternately above and below. We prove that (i) a perfect weaving pattern ofn lines is realizable if and only ifn 3, (ii) a perfect m byn weaving pattern of line segments (in a grid-like fashion) is realizable if and only if min(m, n) 3, (iii) ifn is sufficiently large, then almost all weaving patterns ofn lines are nonrealizable.Jànos Pach has been supported in part by Hungarian NFSR Grant 1812, NSF Grant CCR-8901484, and the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS), a National Science Foundation Science and Technology Center, under NSF Grant STC88-09648. Richard Pollack has been supported in part by NSA Grant MDA904-89-H-2030, NSF Grants DMS-85-01947 and CCR-8901484, and DIMACS. Emo Welzl has been supported in part by the ESPRIT II Basic Research Actions Program of the EC under Contract No. 3075 (project ALCOM) and DIMACS.     

Using a cloud-centric middleware to enable mobile hosting of Web services: mHealth use case

The unceasing growth and divergence of the mobile landscape have led to the use of smartphone and tablet devices in consuming Web services (WS) in enterprises. However, in heterogeneous WS, the shift from the mobile client consumer approach to the mobile service hosting approach is insufficiently studied. With the advancement of storage and processing capabilities of these devices, coupled with the high availability of the Web, this research focuses on the use of the mobile devices as hosts of WS in a mHealth domain. In this paper, a cloud-centric middleware technique is employed to enable access to the mobile hosts. The paper presents mobile hosting of medical data which are modeled as light-weight WS which is deployed in a real-world system. Further, a workflow authorization model is proposed to ensure privacy and the prevention of unauthorized modification of data on the mobile hosts. A data encryption technique is also put forward to enforce security and privacy of the mobile hosted data. Our current implemented project, called SOPHRA, supports mobile communication over HTTP in a Wi-Fi environment.     

Advantages of an Ellipse when Modeling Leisure Utility

This paper characterizes a specification for the utility of leisure that is based on the general equation for an ellipse. We show that this functional form has multiple benefits. The elliptical utility function provides Inada conditions at both the upper-bound and lower-bound constraints on labor supply, which is not the case for the two most common alternative functions. The presence of these two Inada conditions in the elliptical utility of leisure specification speeds up the computation by a factor between three and six times. We further show that the elliptical utility of leisure function is a close approximation to the constant relative risk aversion and constant Frisch elasticity functions in terms of marginal utilities, microeconomic outcomes in a life cycle model, and macroeconomic outcomes in a simple real business cycle model.     

Design and implementation of a platform for configuring clinical dynamic safety checklist applications

In recent years, it has been demonstrated that checklists can improve patient safety significantly. To facilitate the effective use of checklists in daily practice, both the medical community and the informatics community propose to implement checklists in dynamic checklist applications that can be integrated into the clinical workflow and that is specific to the patient context. However, it is difficult to develop such applications because they are tightly intertwined with the content of specific checklists. We propose a platform that enables access to dynamic checklist applications by configuring the infrastructures provided in the platform. Then, the applications can be developed without time-consuming programming work. We define a number of design criteria regarding point of care and clinical processes by analyzing the existing checklist applications and the lessons learned from implementations. Then, by applying rule-based clinical decision support and workflow management technologies, we design technical mechanisms to satisfy the design criteria. A dynamic checklist application platform is designed based on these mechanisms. Finally, we build a platform in various design cycle iterations, driven by multiple clinical cases. By applying the platform, we develop nine comprehensive dynamic checklist applications with 242 dynamic checklists. The results demonstrate both the feasibility and the overall generic nature of the proposed approach. We propose a novel platform for configuring dynamic checklist applications. This platform satisfies the general requirements and can be easily configured to satisfy different scenarios in which safety checklists are used.