Modelling Fine-Grained Access Control Policies in Grids

This paper presents an abstract specification of an enforcement mechanism of usage control for Grids, and verifies formally that such mechanism enforces UCON policies. Our technique is based on KAOS, a goal-oriented requirements engineering methodology with a formal LTL-based language and semantics. KAOS is used in a bottom-up form. We abstract the specification of the enforcement mechanism from current implementations of usage control for Grids. The result of this process is agent and operation models that describe the main components and operations of the enforcement mechanism. KAOS is used in top-down form by applying goal-refinement in order to refine UCON policies. The result of this process is a goal-refinement tree, which shows how a goal (policy) can be decomposed into sub-goals. Verification that a policy can be enforced is then equivalent to prove that a goal can be implemented by the enforcement mechanism represented by the agent and operation models.     

Unpopuläre E-Mail-Verschlüsselung – Auflösung des Henne-Ei-Problems

E-Mail-Verschlüsselung könnte längst flächendeckend Verwendung finden. Der Beitrag gibt eine Antwort auf die Frage, warum dies nicht der Fall ist–und macht Vorschläge, was getan werden sollte, um dies zu ändern.     

Designing a supply network artifact for data,process, and people integration

E-procurement and supplier-relationship management systems have helped to substantially advance process execution in supply management. However, current supply network systems still face challenges of high data integration efforts, as well as the decoupling of structured data and processes from the growing amount of digitalized unstructured interactions of supply management professionals. Inspired by the room for improvement posed by this challenges, our research proposes a design for a supply network artifact in supplier qualification that addresses these problems by enabling holistic integration of data, processes, and people. The artifact is developed following an action design research approach. Building on a set of meta-requirements derived from literature and practice explorations, we conceptualize two design principles and derive corresponding design decisions that have been implemented in an software artifact. Finally, we formulate testable hypotheses and evaluate the artifact and its design in the context of supplier qualification. Our results show that the proposed design reduces mental effort of supply management professionals and significantly increases efficiency when performing typical supply network tasks such as supplier qualification.     

Confirmation Bias in Online Searches: Impacts of Selective Exposure Before an Election on Political Attitude Strength and Shifts

Impacts of Internet use on political information seeking and subsequent processes have been subject to much debate. A 2‐session online field study presented online search results on political topics to examine selective exposure and its attitudinal impacts. Session 1 captured attitudes, including their accessibility. Session 2 tracked what online search results participants selected and how long they read them; participants then reported attitudes again. The study represented a 4x8x2x2 within‐subjects design: 4 topics, 8 browsing intervals each, with articles presenting opposing stances, with low versus high source credibility. Attitude‐consistent messages and messages from high‐credibility sources were preferred. Exposure to attitude‐consistent search results increased attitude accessibility and reinforced attitudes, whereas exposure to attitude‐discrepant content had opposite effects, regardless of messages' source credibility.     

FPGA-based IP cores implementation for face recognition using dynamic partial reconfiguration

This paper presents a combination of novel feature vectors construction approach for face recognition using discrete wavelet transform (DWT) and field programmable gate array (FPGA)-based intellectual property (IP) core implementation of transform block in face recognition systems. Initially, four experiments have been conducted including the DWT feature selection and filter choice, features optimisation by coefficient selections and feature threshold. To examine the most suitable method of feature extraction, different wavelet quadrant and scales have been evaluated, and it is followed with an evaluation of different wavelet filter choices and their impact on recognition accuracy. In this study, an approach for face recognition based on coefficient selection for DWT is presented, and the significant of DWT coefficient threshold selection is also analysed. For the hardware implementation, two architectures for two-dimensional (2-D) Haar wavelet transform (HWT) IP core with transpose-based computation and dynamic partial reconfiguration (DPR) have been synthesised using VHDL and implemented on Xilinx Virtex-5 FPGAs. Experimental results and comparisons between different configurations using partial and non-partial reconfiguration processes and a detailed performance analysis of the area, power consumption and maximum frequency are also discussed in this paper.     

Optics clustered to output unique solutions: a multi-laser facility for combined single molecule and ensemble microscopy

Optics clustered to output unique solutions (OCTOPUS) is a microscopy platform that combines single molecule and ensemble imaging methodologies. A novel aspect of OCTOPUS is its laser excitation system, which consists of a central core of interlocked continuous wave and pulsed laser sources, launched into optical fibres and linked via laser combiners. Fibres are plugged into wall-mounted patch panels that reach microscopy end-stations in adjacent rooms. This allows multiple tailor-made combinations of laser colours and time characteristics to be shared by different end-stations minimising the need for laser duplications. This setup brings significant benefits in terms of cost effectiveness, ease of operation, and user safety. The modular nature of OCTOPUS also facilitates the addition of new techniques as required, allowing the use of existing lasers in new microscopes while retaining the ability to run the established parts of the facility. To date, techniques interlinked are multi-photon/multicolour confocal fluorescence lifetime imaging for several modalities of fluorescence resonance energy transfer (FRET) and time-resolved anisotropy, total internal reflection fluorescence, single molecule imaging of single pair FRET, single molecule fluorescence polarisation, particle tracking, and optical tweezers. Here, we use a well-studied system, the epidermal growth factor receptor network, to illustrate how OCTOPUS can aid in the investigation of complex biological phenomena.     

Structure Processing of Web-Based Menus

Grounded in cognitive load theory, levels of processing theory, modes of learning research, and the facets of working memory (WM) framework, the primary goal of this investigation was to seek empirical evidence for a structure processing mechanism in WM that facilitates the coordination of associations made into coherent structures and the role this mechanism might play in performance and retention. This goal was motivated by a gap in the understanding of mental model production and encoding processes in WM. To carry out this goal, two usability studies were conducted to investigate retention, error, and time performance of Web-based menus created with structured or unstructured design. Relationships between these measures and coordination ability in WM, as well as storage and supervision ability, were also assessed. In Study 1, which tested simple Web-based menus, correlations of .28, ?.56, and ?.54 were detected between coordination (CC) and retention scores, CC and errors, and CC and time; in Study 2, which tested commercial Web-based menus, correlations of .46, ?.45, and ?.25 were detected. For Studies 1 and 2, differences in favor of structured design for retention, error, and time performance were highly significant (p < .001).     

Scheduling of inventory releasing jobs to satisfy time-varying demand: an analysis of complexity

This paper studies a new class of single-machine scheduling problems, which are faced by Just-in-Time-suppliers satisfying a given demand. In these models the processing of jobs leads to a release of a predefined number of product units into inventory. Consumption is triggered by predetermined time-varying, and product-specific demand requests. While all demands have to be fulfilled, the objective is to minimize the resulting product inventory. We investigate different subproblems of this general setting with regard to their computational complexity. For more restricted problem versions strongly polynomial time algorithms are presented. In contrast to this, NP-hardness in the strong sense is proven for more general problem versions. Moreover, for the most general version, even finding a feasible solution is shown to be strongly NP-hard.