The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be able to first treat basic functionality and normal-case behavior, and then later add in complicating factors such as physical limitations (memory, time, bandwidth, hardware reliability, and so on) and security concerns. Handling...

This paper introduces the concept of residence-time, from the Eulerian view point, in a rigorous manner. The equations for various ow regimes are derived and a numerical solver is introduced based on Lax-Wendroo integration. An implementation is discussed that allows the coupling of this solver to any explicit CFD code. Examples of this concept are shown for extracting recirculation regions by ...

The patent expiration for first-generation biological drugs has prompted the development of a new group of biopharmaceuticals - follow-on biologics. The extent of studies needed in the process of follow-on biologics approval is incomparably greater than in the case of generics but reduced in comparison to innovative biologics. The basis for the approval is to show the similarity sufficient to e...

We consider composite loss functions for multiclass prediction comprising a proper (i.e., Fisherconsistent) loss over probability distributions and an inverse link function. We establish conditions for their (strong) convexity and explore the implications. We also show how the separation of concerns afforded by using this composite representation allows for the design of families of losses with...

This paper proposes a mathematical definition of an aircraft-separation criterion for kinematic-based horizontal maneuvers. It has been formally proved that kinematic maneuvers that satisfy the new criterion are independent and coordinated for repulsiveness, i.e., the distance at closest point of approach increases whether one or both aircraft maneuver according to the criterion. The proposed c...

Separation of concerns is a powerful strategy for managing complexity, providing flexibility and increasing understanding in system design and development. This paper introduces two ways of separation of concerns, namely components and viewpoints. The paper defines a general, implementation-independent component concept through common component aspects and properties, and integrates it into the...

There is interest in introducing generic antiretroviral drugs (ARVs) into high-income countries in order to maximise efficiency in health care budgets. Studies examining patients' and providers' knowledge and attitudes to generic substitution in HIV are few. This was a cross-sectional, observational study with a convenience sample of adult HIV-infected patients and health care providers (HCPs)....

The purpose of this paper is threefold: (1) to show a methodology for introducing formality step-by-step, starting from a “light-weight” ontology, (2) to apply it to the generic Route Graph model, instantiated here to Tramway Networks, and (3) to demonstrate that separation of concerns into layers of abstraction and application of generic formal notions such as graph abstraction lead to a usefu...

Users conceive advance negotiation as the most natural way to subscribe to a service with quality guarantees. Regrettably, the existing network infrastructures are unable to process requests involving time as a Quality of Service parameter. Rather than designing a new integrated approach to time-aware resource management, in this paper we show how to build time-aware admission control on top of...

Several new modularity technologies have been proposed that improve separation of concerns in programming languages. The initial efforts to demonstrate these technologies are usually focused on a single programming language. Since we live in a polyglot world, this proposal addresses the goal of being able to take these new powerful technologies to other languages. The approach uses software gen...