In this paper a new model description for the representation of one-dimensional piecewise-linear (PWL) characteristics is presented. The description can be efficiently applied to model both, uni-valued and multivalued PWL characteristics, and it has the advantage of obtaining the model parameters directly from the graphic coordinates. The description is denoted as an Iterative and Decomposed (I...

Suppose you have developed a Hoare logic for your favorite programming language. You have justified the logic by defining an operational model of the language and constructing a soundness proof that interprets triples as partial correctness assertions. Now you want to interpret program analyses, validate security properties such as noninterference, or justify program transformations. You observ...

In this paper, a grouping method by measuring the dependency of decomposed signals is discussed. Dependencies between components decomposed by some ICA algorithm are calculated using test statistics, based on the empirical characteristic function. This method helps selecting the combination of independent components by classifying them into subgroups. The relevance of these ideas is illustrated...

We present aggregate contribution as a solution for two longstanding issues with goal modeling languages such as i* and GRL which support decomposition and contribution links for intentional elements. An aggregate contribution summarizes the contributions of constituent parts (child elements) at the parent level, giving the modeler an overview of the actual impact of the parent while still enab...