Attribute-based access control (ABAC) provides a high level of flexibility that promotes security and information sharing. ABAC policy mining algorithms have potential to significantly reduce the cost of migration to ABAC, by partially automating the development of an ABAC policy from information about the existing access-control policy and attribute data. This paper presents an algorithm for m...

This paper delivers the findings of the first stage of a fundamental study for tilt control. The difficulties associated with straightforward feedback control nulling strategy are presented. The currently used commanddriven with precedence control strategy is also introduced. Two novel schemes, model-based estimation, nulling-based H∞ method, are discussed and compared with the current tilt con...

Dancers express their feelings and moods through gestures and body movements. We seek to extend this mode of expression by dynamically and automatically adjusting music and lighting in the dance environment to reflect the dancer’s arousal state. Our intention is to offer a space that performance artists can use as a creative tool that extends the grammar of dance. To enable the dynamic manipula...

This paper argues that real-time control systems should be structured in abstraction layers in provide adequate instruction formalisms for both task specification and for low level control, and that the design information used when specifying the system should be included in the encoding of the abstraction barrier. When this design information is available, describing the semantics of the abstr...

Configuration design deals with the composition of artifacts from a predefined catalog of components over a wide variety of application domains (architecture, telecommunications systems, civil engineering, control software, etc.). Recent years have seen various attempts to work towards a high-level, formal representation of configuration problems with the goal of providing a stable platform on ...