In recent years, architectural knowledge management has demonstrated its potential to improve software development and evolution practices; various tools and research prototypes now exist for documenting architectural knowledge. However, capturing such knowledge is not enough: according to practitioners’ feedback, a certain amount of knowledge postprocessing is required to make the captured kno...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

Background: Not much is known about correlates of HIV-related self-stigma among female sex workers. Using the theory of planned behavior in the Malaysian context, this study investigated the relationships of HIV knowledge, attitudes towards HIV, attitudes towards people living with HIV, perceived social support, self-esteem, and age with HIV-related self-stigma, also how much of the variance in...

Background The field of infertility medicine has witnessed a surge of scientific developments in recent years, but research on public attitudes towards infertility treatments has remained minimal. This study examined the social and demographic factors that affect women’s attitudes towards assisted reproductive technology (ART) in general, as well as their opinions of specific issues related to ...

Combining virtualization and real-time is important for an increasing amount of use cases, from embedded system to enterprise computing. In this paper, we will analyze the real-time capabilities of Linux as a hypervisor when using KVM and QEMU. We will furthermore introduce and evaluate a paravirtual scheduling interface that helps resolving priority inversion problems in embedded virtualizatio...

We further the understanding of the relationship between process calculi and non-commutative logic. This work focuses on, a first-order extension of the proof calculus BV featuring a de Morgan dual pair of nominal quantifiers, called BV1. An embedding of π-calculus process as predicates in BV1 is defined, and a procedure is provided for extracting successful executions from proofs of embedded p...

“The term ‘Linked Data’ refers to a set of best practices for publishing and connecting structured data on the web” [7]. Linked Data make the Semantic Web work practically, which means that information can be retrieved without complicated lookup mechanisms, that a lightweight semantics enables scalable reasoning, and that the decentral nature of the Web is respected. OpenMath Content Dictionari...

The development of realistic topology generators is a problem that has attracted significant attention the last few years. There exist a number of competing approaches to construction of random graphs reproducing important properties of real networks. Unfortunately, all the existing approaches do not capture an inherent aspect of many real networks: links in real networks represent relationship...

In a future of pervasive and contextually aware computing, the knowledge and understanding of mobile device attributes and capabilities will be a key enabler. Software engineers and developers will benefit from the understanding of possible device configurations which represent optimal market solutions. This paper discusses the first of a several phase investigation using the techniques of evol...