Feature modeling is an important approach to dealing with variability at an abstract level in a hierarchical manner extensively used in software product lines. For its use in conjunction with other UML models and MDA approach, it is important to correctly integrate feature modeling into UML. In this paper, we present an approach to integrating feature modeling into UML that respects abstractnes...

Next generation middleware must support applications in the face of increasing diversity in interaction paradigms, end system types and network styles. Therefore, to secure applications, security policies must be configured and indeed reconfigured at runtime. In this paper, we propose an approach combining the openness of reflective middleware with the flexibility of programmable security to me...

Human papovavirus, RFV, isolated from urine of a renal transplant patient was compared with two strains of SV40 and with the prototype human papovavirus, BKV. Neutralization tests showed that RFV and BKV are indistinguishable, while large-plaque (LP) and small-plaque(SP) isolates of SV40 gave a low but significant level of cross-reaction with rabbit or human antisera against RFV. DNA reassociat...

In this paper, the feasibility of using fi­ nite totally ordered probability models un­ der Aleliunas's Theory of Probabilistic Logic [Aleliunas 88] is investigated. The general form of the probability algebra of these models is derived and the number of pos­ sible algebras with given size is deduced. Based on this analysis, we discuss problems of denominator-indifference and ambiguity­ generat...