To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population ages, the percentage of people in this group is increasing and the effects are expensive as well as unsatisfying. We hypothesize that many people with disabilities can lead independent lives in their own homes with the a...

In this paper we propose an agent-based approach for controlling the behavior of a Smart Home Environment that, based on the recognized situation and user goal, selects a suitable workflow for combining services of the environment. To this aim we have developed a butler agent that employs user and context modeling for supporting proactive adaptation of the interaction with the house. The user c...

Today’s digital systems usually consist of interacting hardware and software components of high complexity. Design of such systems requires support of efficient design methodologies and automatic/semiautomatic tools. This paper presents an integrated design methodology and some design tools which have been developed at Linköping University. We introduce the methodology which is based on a unifi...

Manufacturing companies are facing the challenge to cope with individualized process chains in spite of high market dynamics. In order to achieve high process efficiency by realizing logistic targets, two main leverages can be identified: adjustment of production structure and configuration of production control. The production structure represents the layout and arrangement of machines, the or...

In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with their deployment environment dynamically. We also present the JAMUS platform, a prototype we have developed in order to show how our framework can be used to support the dynamic definition and enforcement of contracts binding ...

The importance of case-indexing method selection in the CBR system is analyzed, and the defaults of traditional case indexing methods are pointed out. A model of caseretrieving based on AHP is presented and the basic principle and process of CBR and AHP are introduced. With the development environment of CGI, the prototype system is developed, and the core source code and running interface are ...

As electronic devices become more and more pervasively integrated in our daily routine, security concerns start to become evident. In the last years, there has been an increasing interest on the topic of security in smart environments. One of the most challenging environments regarding security are smart offices due to the high number of potential users, devices and spaces, and the diversity of...

This paper presents the Snippet System, a new operating system environment that aims at providing enhanced document management facilities. For this, the proposed system utilizes a novel document model based on finer-grained entities, so-called Snippets. These support Relations, which capture the context of individual document excerpts. Snippets furthermore enable a flexible reuse of documents, ...

Given a family of 3-graphs F , we define its codegree threshold coex(n,F) to be the largest number d = d(n) such that there exists an n-vertex 3-graph in which every pair of vertices is contained in at least d 3-edges but which contains no member of F as a subgraph. Let F3,2 be the 3-graph on {a, b, c, d, e} with 3-edges abc, abd, abe and cde. In this paper, we give two proofs that coex(n, {F3,...