Browse Proceedings

In recent years, the software development productivity has been attracting higher attention by the professional community because of its increasing importance for the development of complex software systems and applications. At the same time, component-...

Under the current weak state of the art in cyber-physical system (CPS) software engineering a number of problems that plague the industry cannot be contained easily. Low quality of network-based CPS software, low productivity of CPS software engineers, ...

Internet is becoming an open, global, ubiquitous and smarter computer for our society and planet. Such “Internet as a Computer” requires substantial improvements in software characteristics such as collaborative, situational, autonomous, evolvable and ...

Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure systems and secure services modeling.

Directory services are used by almost every enterprise computing environment to provide data concerning users, computers, contacts, and other objects. Virtual directories are components that provide directory services in a highly customized manner. ...

We propose HyperShield, which is a hypervisor that can be inserted into and removed from a running operating system, for improving security. While many existing security-oriented hypervisors require modifying or rebooting an overlying operating system, ...

This paper presents a new concurrent checkpoint mechanism that allows the checkpointed process to run without stopping while checkpoints are set. The checkpointed process can keep running until a memory access request is captured by tracing TLB misses ...

Many research approaches in software engineering propose models or extensions to existing models. This includes system models, such as UML models, and project management artifacts, such as bug reports or tasks. For evaluating a research approach these ...

The way to document architecture is called Architecture Description (AD). It contains all the key design decisions, presents how the system is composed, specifies the interface of the component, and etc. Such information is needed not only during the ...

Modern computer systems for distributed service computing become highly complex and difficult to manage. A selfadaptive approach that integrates monitoring, analyzing, and actuation functionalities has the potential to accommodate to a dynamically ...

The challenge of preserving user’s location privacy is more important now than ever before with the proliferation of handheld devices and the pervasive use of location based services. To protect location privacy, we must ensure k-anonymity so that the ...

This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The stream-based services utilize voluminous and continuously updated data streams as their input. The ...

This paper describes the concept and architecture of geoXmart, a marketplace for proactive context-aware services, which enables users to easily find and subscribe to interesting services and allows providers to specify, export and maintain their ...

Combinatorial testing (also called interaction testing) is an effective specification-based test input generation technique. By now most of research work in combinatorial testing aims to propose novel approaches trying to generate test suites with ...