pinecone/core-2020-05-10-deduplication huggingface dataset:
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation

The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through component adaptation techniques, but they also must be tackled at an architectural level of abstraction. In this paper we propose an approach for resolving architectural mismatches, with the aid of architectural reconciliation. The approach consists of designing and subsequently reconciling two architectural models, one that is forward-engineered from the requirements and another that is reverse-engineered from the COTS-based implementation. The final reconciled model is optimally adapted both to the requirements and to the actual COTS-based implementation. The contribution of this paper lies in the application of architectural reconciliation in the context of COTS-based software development. Architectural modeling is based upon the UML 2.0 standard, while the reconciliation is performed by transforming the two models, with the help of architectural design decisions.
On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited

We examine the role of session identifiers (SIDs) in security proofs for key establishment protocols. After reviewing the practical importance of SIDs we use as a case study the three-party server-based key distribution (3PKD) protocol of Bellare and Rogaway, proven secure in 1995. We show incidentally that the partnership function used in the existing security proof is flawed. There seems to be no way to define a SID for the 3PKD protocol that will preserve the proof of security. A small change to the protocol allows a natural definition for a SID and we prove that the new protocol is secure using this SID to define partnering
Topological Concepts in Gauge Theories

In these lecture notes, an introduction to topological concepts and methods
in studies of gauge field theories is presented. The three paradigms of
topological objects, the Nielsen-Olesen vortex of the abelian Higgs model, the
't Hooft-Polyakov monopole of the non-abelian Higgs model and the instanton of
Yang-Mills theory, are discussed. The common formal elements in their
construction are emphasized and their different dynamical roles are exposed.
The discussion of applications of topological methods to Quantum Chromodynamics
focuses on confinement. An account is given of various attempts to relate this
phenomenon to topological properties of Yang-Mills theory. The lecture notes
also include an introduction to the underlying concept of homotopy with
applications from various areas of physics.Comment: Lecture note
Full Counting Statistics in Quantum Contacts

Full counting statistics is a fundamentally new concept in quantum transport.
After a review of basic statistics theory, we introduce the powerful Green's
function approach to full counting statistics. To illustrate the concept we
consider a number of examples. For generic two-terminal contacts we show how
counting statistics elucidates the common (and different) features of transport
between normal and superconducting contacts. Finally, we demonstrate how
correlations in multi-terminal structures are naturally included in the
formalism.Comment: 20 pages, proceedings of Summer School/Conference on Functional
  Nanostructures, Karlsruhe (2003
Quantum Dots Attached to Ferromagnetic Leads: Exchange Field, Spin
  Precession, and Kondo Effect

Spintronics devices rely on spin-dependent transport behavior evoked by the
presence of spin-polarized electrons. Transport through nanostructures, on the
other hand, is dominated by strong Coulomb interaction. We study a model system
in the intersection of both fields, a quantum dot attached to ferromagnetic
leads. The combination of spin-polarization in the leads and strong Coulomb
interaction in the quantum dot gives rise to an exchange field acting on
electron spins in the dot. Depending on the parameter regime, this exchange
field is visible in the transport either via a precession of an accumulated dot
spin or via an induced level splitting. We review the situation for various
transport regimes, and discuss two of them in more detail.Comment: 20 pages, 6 figures, to be published in Lecture Notes in Physic
Gravitational-wave astronomy: the high-frequency window

This contribution is divided in two parts. The first part provides a
text-book level introduction to gravitational radiation. The key concepts
required for a discussion of gravitational-wave physics are introduced. In
particular, the quadrupole formula is applied to the anticipated
``bread-and-butter'' source for detectors like LIGO, GEO600, EGO and TAMA300:
inspiralling compact binaries. The second part provides a brief review of high
frequency gravitational waves. In the frequency range above (say) 100Hz,
gravitational collapse, rotational instabilities and oscillations of the
remnant compact objects are potentially important sources of gravitational
waves. Significant and unique information concerning the various stages of
collapse, the evolution of protoneutron stars and the details of the
supranuclear equation of state of such objects can be drawn from careful study
of the gravitational-wave signal. As the amount of exciting physics one may be
able to study via the detections of gravitational waves from these sources is
truly inspiring, there is strong motivation for the development of future
generations of ground based detectors sensitive in the range from hundreds of
Hz to several kHz.Comment: 21 pages, 5 figures, Lectures presented at the 2nd Aegean Summer
  School on the Early Universe, Syros, Greece, September 200
The TopModL Initiative

International audienceWe believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an open-source initiative, with the goal of building a development community to provide: (1) an executable environment for quick and easy experimentation, (2) a set of source files and a compilation tool chain, (3) a web portal to share artefacts developed by the community. The aim of TopModL is to help the model-engineering research community by providing the quickest path between a research idea and a running prototype. In addition, we also want to identify all the possible contributions, understand how to make it easy to integrate existing components, while maintaining architectural integrity. At the time of writing we have almost completed the bootstrap phase (known as Blackhole), which means that we can model TopModL and generate TopModL with TopModL. Beyond this first phase, it is now of paramount importance to gather the best possible description of the requirements of the community involved in model-driven engineering to further develop TopModL, and also to make sure that we are able to reuse or federate existing efforts or goodwill. This paper is more intended to set up a basis for a constructive discussion than to offer definitive answers and closed solutions
Preserving contexts for soft conformance relation

This paper addresses the study of bisimulation based conformance relations in which input and output actions not presented in the specification are added to the implementation. A new definition, that we called soft conformance, is given. Then, we concentrate on the study of the conditions under which a context preserves the soft conformance relation of two agents. These conditions depend both on the specification and the implementation in the conformance relation and also on the context. Since the addition of extraneous actions to the implementation allows to define malicious contexts that would not preserve the conformance relation, such a characterisation of the family of contexts preserving each individual pair (implementation and specification) in the conformance relation is the best result that can be expected in this direction
Voice User Interface Design for A Telephone Application Using VoiceXML

VoiceXML is a standard language for developing voice based applications. VoiceXML applications have more advantages over traditional Interactive Voice Response (IVR) systems because they can be used through any type of phones and also accessed via a computer. Voice User Interface (VUI) design is an integral part of developing any VoiceXML application. In this paper, the VUI for a VoiceXML ‘Cinema Service’ telephone application is designed and a number of experiments are undertaken to help the design of the VUI. The experiments focus on users’ navigation, memory and age group, and preferences. Conclusions are drawn based on the experiments for future design and development
Automatic runtime validation and correction of the navigational design of web sites

Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience classes. However, at design time, it is often difficult to correctly assess the different needs and requirements of the different prospective users of a website. This may result in a non-optimal navigation structure, which will decrease the usability of the website. In this paper, we describe how to correct, at run-time and automatically, possible flaws in the design resulting from incomplete requirement assessment, using adaptive behavior. By observing the browsing behavior of the users, the requirements for the different users are validated and the website is adapted according to adaptation specifications made by the designer. These specifications express when and how the website needs to be adapted and are expressed using an Adaptation Specification Language. The work is presented in the context of an audience driven design method but we also elaborate shortly on the applicability of the technique in general
Quantum Interactive Proofs with Competing Provers

This paper studies quantum refereed games, which are quantum interactive
proof systems with two competing provers: one that tries to convince the
verifier to accept and the other that tries to convince the verifier to reject.
We prove that every language having an ordinary quantum interactive proof
system also has a quantum refereed game in which the verifier exchanges just
one round of messages with each prover. A key part of our proof is the fact
that there exists a single quantum measurement that reliably distinguishes
between mixed states chosen arbitrarily from disjoint convex sets having large
minimal trace distance from one another. We also show how to reduce the
probability of error for some classes of quantum refereed games.Comment: 13 pages, to appear in STACS 200
An automatic mapping from Statecharts to Verilog.

Statecharts is a visual formalism suitable for high-level system specification, while Verilog is a hardware description language that can be used for both behavioural and structural specification of (hardware) systems. This paper implements a semantics-preserving mapping from Graphical Statecharts to Verilog programs, which, to the best of our knowledge, is the first algorithm to bridge the gap between Statecharts and Verilog, and can be embedded into the hardware/software co-specification process [19] as a front-end
A MOPSO Algorithm Based Exclusively on Pareto Dominance Concepts

Copyright © 2005 Springer Verlag. The final publication is available at link.springer.com3rd International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. ProceedingsBook title: Evolutionary Multi-Criterion OptimizationIn extending the Particle Swarm Optimisation methodology to multi-objective problems it is unclear how global guides for particles should be selected. Previous work has relied on metric information in objective space, although this is at variance with the notion of dominance which is used to assess the quality of solutions. Here we propose methods based exclusively on dominance for selecting guides from a non-dominated archive. The methods are evaluated on standard test problems and we find that probabilistic selection favouring archival particles that dominate few particles provides good convergence towards and coverage of the Pareto front. We demonstrate that the scheme is robust to changes in objective scaling. We propose and evaluate methods for confining particles to the feasible region, and find that allowing particles to explore regions close to the constraint boundaries is important to ensure convergence to the Pareto front
Multi-objective Optimisation of Turbomachinery Blades Using Tabu Search

This paper describes the application of a new multi-objective integrated
turbomachinery blade design optimisation system. The system combines an existing
geometry parameterisation scheme, a well-established CFD package and a novel
multi-objective variant of the Tabu Search optimisation algorithm. Two case
studies, in which the flow characteristics most important to the overall
performance of turbomachinery blades are optimised, are investigated. Results
are presented and compared with a previous (single-objective) investigation of
the problem
GDS Resource Record: Generalization of the Delegation Signer Model

ISBN: 3-540-25338-6International audienceDomain Name System Security Extensions (DNSSEC) architecture is based on public-key cryptography. A secure DNS zone has one or more keys to sign its resource records in order to provide two security services: data integrity and authentication. These services allow to protect DNS transactions and permit the detection of attacks on DNS. The DNSSEC validation process is based on the establishment of a chain of trust between secure zones. To build this chain, a resolver needs a secure entry point: a key of a DNS zone configured in the resolver as trusted. Then, the resolver must find a path from one of its secure entry point toward the DNS name to be validated. But, due to the incremental deployment of DNSSEC, some zones will remain unsecure in the DNS tree. Consequently, numerous trusted keys should be configured in re-solvers to be able to build the appropriate chains of trust. In this paper, we present a model that reduces the number of trusted keys in resolvers and ensures larger secure access to the domain name space. This model has been implemented in BIND
A unifying model of variables and names

We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion of distinction. The key aspect of this model is to consider functors over the category of irreflexive, symmetric finite relations. The models previously proposed for the notions of “variables” and “names” embed faithfully in the new one, and initial algebra/final coalgebra constructions can be transferred from the formers to the latter. Moreover, the new model admits a definition of distinction-aware simultaneous substitutions. As a substantial application example, we give the first semantic interpretation of Miller-Tiu’s FO-lambda-nabla logic
Termination criteria for model transformation

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-31984-9_5Proceedings of 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its transformation to some other domain), optimization, evolution, migration or even code generation. In this work, we show termination criteria for model transformation based on graph transformation. This framework offers visual and formal techniques based on rules, in such a way that model transformations can be subject to analysis. Previous results on graph transformation are extended by proving the termination of a transformation if the rules applied meet certain criteria. We show the suitability of the approach by an example in which we translate a simplified version of Statecharts into Petri nets for functional correctness analysis.Juan de Lara, Daniel Varro and Szilvia Varro-Gyapay were partially supported by
the Segravis Research Training Network
From KISS to KIDS – an ‘anti-simplistic’ modeling approach

A new approach is suggested under the slogan “Keep it Descriptive Stupid” (KIDS) that encapsulates a trend in increasingly descriptive agent-based social simulation. The KIDS approach entails one starts with the simulation model that relates to the target phenomena in the most straight-forward way possible, taking into account the widest possible range of evidence, including anecdotal accounts and expert opinion. Simplification is only applied if and when the model and evidence justify this. This contrasts sharply with the KISS approach where one starts with the simplest possible model and only moves to a more complex one if forced to. An example multi-agent simulation of domestic water demand and social influence is described.
Predicting opponent actions by bbservation

In competitive domains, the knowledge about the opponent can give players a clear advantage. This idea lead us in the past to propose an approach to acquire models of opponents, based only on the observation of their input-output behavior. If opponent outputs could be accessed directly, a model can be constructed by feeding a machine learning method with traces of the opponent. However, that is not the case in the Robocup domain. To overcome this problem, in this paper we present a three phases approach to model low-level behavior of individual opponent agents. First, we build a classifier to label opponent actions based on observation. Second, our agent observes an opponent and labels its actions using the previous classifier. From these observations, a model is constructed to predict the opponent actions. Finally, the agent uses the model to anticipate opponent reactions. In this paper, we have presented a proof-of-principle of our approach, termed OMBO (Opponent Modeling Based on Observation), so that a striker agent can anticipate a goalie. Results show that scores are significantly higher using the acquired opponentrsquos model of actions.Publicad
A Note on Stable States of Dipolar Systems at Low Temperatures

In the past several years, many important innovations in nanotechnology were
made. Today it becomes possible to make nanosize magnetic particles, and
development of high storage-density magnetic device is desired. In such a
magnetic particle system, dipole interaction plays the main role. In this note,
we consider stable states of dipolar systems at low temperature: Some systems
show ``antiferromagnetic structure'', and others show magnetic domain
structure, depending on lattice shapes.Comment: 5 pages including 5 eps figures, to appear in "Computer Simulation
  Studies in Condensed Matter Physics XVIII", Eds. D. P. Landau, S. P. Lewis,
  and H.-B. Sch\"{u}ttler (Springer Verlag, Heidelberg, Berlin
Quantum Monte Carlo Simulations of the Impurity-Induced Phase
  Transitions in Low-Dimensional Magnets

We study the impurity-induced phase transitions in a quasi-one-dimensional
Heisenberg antiferromagnet doped with magnetic spin-1/2 impurities and
non-magnetic ones. The impurity-induced transition temperature determined by
the quantum Monte Carlo method with the continuous-time loop algorithm is
monotonically increasing as a function of the magnitude of the impurity spin.
To these results, we give discussions based on the valence-bond solid-like
picture for the pure system and the inspection of the local magnetic structure
around the impurities.Comment: 5 pages, 4 eps figure files, manuscript for the proceedings of the
  18th Annual Workshop "Recent Developments in Computer Simulation Studies in
  Condensed Matter Physics" held at the Center for Simulational Physics,
  University of Georgia, Athens, GA, USA, during March 7-11, 200
Invasive Allele Spread under Preemptive Competition

We study a discrete spatial model for invasive allele spread in which two
alleles compete preemptively, initially only the "residents" (weaker
competitors) being present. We find that the spread of the advantageous
mutation is well described by homogeneous nucleation; in particular, in large
systems the time-dependent global density of the resident allele is well
approximated by Avrami's law.Comment: Computer Simulation Studies in Condensed Matter Physics XVIII, edited
  by D.P. Landau, S.P. Lewis, and H.-B. Schuttler, (Springer, Heidelberg,
  Berlin, in press
A hybrid approach for resolving the electromagnetic fields inside a waveguide loaded with a lossy medium

In this work a novel hybrid approach is presented that uses a combination of both time domain and frequency domain solution strategies to predict the power distribution within a lossy medium loaded within a waveguide.  The problem of determining the electromagnetic fields evolving within the waveguide and the lossy medium is decoupled into two components, one for computing the fields in the waveguide including a coarse representation of the medium (the exterior problem) and one for a detailed resolution of the lossy medium (the interior problem). A previously documented cell-centred Maxwell’s equations numerical solver can be used to resolve the exterior problem accurately in the time domain. Thereafter the discrete Fourier transform can be applied to the computed field data around the interface of the medium to estimate the frequency domain boundary condition in-formation that is needed for closure of the interior problem. Since only the electric fields are required to compute the power distribution generated within the lossy medium, the interior problem can be resolved efficiently using the Helmholtz equation. A consistent cell-centred finite-volume method is then used to discretise this equation on a fine mesh and the underlying large, sparse, complex matrix system is solved for the required electric field using the iterative Krylov subspace based GMRES iterative solver. It will be shown that the hybrid solution methodology works well when a single frequency is considered in the evaluation of the Helmholtz equation in a single mode waveguide.  A restriction of the scheme is that the material needs to be sufficiently lossy, so that any penetrating waves in the material are absorbed