Smart card configuration is a complex process, which has an important impact on the product price. Realizing it efficiently and with minimum development effort is a major challenge for smart card manufacturers. This paper exposes the motivations for applying modeling techniques to Software Product Line (SPL), in order to improve the smart card configuration and personalization processes. Our ap...

Software product line (SPL) is an approach that develops the family of similar software by maximizing the reusability of development artifacts. As devices have become smarter and diverse the role of middleware for managing such devices has become important and complicated in smart environments such as smart ship, smart home, and smart factory. In this kind of middleware interworking with variou...

To be widely accepted, smart cards must contain completely trustworthy software. Because smart cards contain relatively simple computers, and are used only for a speciic class of applications, it is feasible to make the language used to program the software components focused and tiny. Formal methods can be used to precisely specify this language and to reason about properties of the language, ...

The idea of ubiquitous computing and smart spaces is no longer a dream and has long been an area of serious research. Various smart space projects have been built in research institutions all around the world. The Software Infrastructure of Smart Space (SISS), as an integral part of these projects, is to coordinate and manage numbers of software and hardware modules in the environment. The limi...

This paper presents the instrumentation and software architecture of a smart room. The smart room is a part of research on distributed intelligent services, and it provides a practical environment for the development of a distributed architecture. The smart room consists of resources such as sensors, different kinds of devices, and other kinds of computational and control and service resources ...

This report examined the technical aspects of a future ecosystem-ready software platform for the smart building domain. We analyzed the type of contributors that may exist in a smart building ecosystem, the quality attributes that those roles are concerned with, and the key functional attributes that the software platforms of future smart buildings should provide in order to make smart building...

In order to increase and develop overall performance of Modern Network Grids in Smart Cities of India with acceptable levels of security and privacy, the internal and external factors which substantially affect the performance of network grids in Smart Cities without jeopardizing privacy and security issues are needed to be identified. Besides, the interdependencies of these critical success fa...

This paper analyzes usability in open source software (OSS) development. OSS development is a current phenomenon both in Information Systems (IS) research and practice. Also the Human Computer Interaction (HCI) community has started to acknowledge OSS development as an interesting object of study. The importance of usability is accepted within the both fields of IS and HCI. Usability of the OSS...

Editors: Patrick McDaniel, mcdanielcse.psu.edu. Smith, swscs.dartmouth.edu. COPublished by the ieee COmPuter and. Global electrical grids are verging on the largest technological transformation since the introduction of electricity into the home. The antiquated.tiple new challenges in terms of security and privacy. However, whilst the AMI is a critical part of the smart grid infrastructure, it ...