Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this paper investigates the adoption of formal methods, especially for composition. We logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers. Nevertheless, we still try to propose some tentative answers based on our proposal for a composition calculus, which we hope can animate a proper discussion

Trade Liberalization and Private Savings: The Spanish Experience, 1960-1995

This paper provides an interpretation of the evolution of Spanish private and national savings over the period 1960-1995. During these 35 years private and national saving rates oscillated widely from a very high level in the 1960s to historical minima in the early and mid-1980s to a strong recovery in the more recent years. At the same time, Spain transformed itself from an autarkic, underdeveloped and dictatorial country into an advanced, open economy with a fully democratic political life. First, we show that the apparent long-run reduction in Spanish saving rates is mostly due to a change in relative prices and to the choice of what, in our view, is the incorrect deflator. When Spanish real private savings are measured by using the deflator for the price of capital they appear to behave as a stationary, albeit highly volatile, time series relative to private disposable income. We find that a stable "saving function" can be derived from first principles and estimated using annual macroeconomic data. We adopt a traditional model of intertemporal optimization by a representative agent, facing a complete set of borrowing/lending opportunities and an exogenous income process. We use a "habit formation" utility function, to explain the crucial feature of the data, i. e. , the strong and positive impact that innovations in the growth rate of income (either national or private) have on saving (either national or private).

The Emergence of Gravitational Wave Science: 100 Years of Development of Mathematical Theory, Detectors, Numerical Algorithms, and Data Analysis Tools

On September 14, 2015, the newly upgraded Laser Interferometer Gravitational-wave Observatory (LIGO) recorded a loud gravitational-wave (GW) signal, emitted a billion light-years away by a coalescing binary of two stellar-mass black holes. The detection was announced in February 2016, in time for the hundredth anniversary of Einstein's prediction of GWs within the theory of general relativity (GR). The signal represents the first direct detection of GWs, the first observation of a black-hole binary, and the first test of GR in its strong-field, high-velocity, nonlinear regime. In the remainder of its first observing run, LIGO observed two more signals from black-hole binaries, one moderately loud, another at the boundary of statistical significance. The detections mark the end of a decades-long quest, and the beginning of GW astronomy: finally, we are able to probe the unseen, electromagnetically dark Universe by listening to it. In this article, we present a short historical overview of GW science: this young discipline combines GR, arguably the crowning achievement of classical physics, with record-setting, ultra-low-noise laser interferometry, and with some of the most powerful developments in the theory of differential geometry, partial differential equations, high-performance computation, numerical analysis, signal processing, statistical inference, and data science. Our emphasis is on the synergy between these disciplines, and how mathematics, broadly understood, has historically played, and continues to play, a crucial role in the development of GW science. We focus on black holes, which are very pure mathematical solutions of Einstein's gravitational-field equations that are nevertheless realized in Nature, and that provided the first observed signals.Comment: 41 pages, 5 figures. To appear in Bulletin of the American Mathematical Societ

AntibIoTic: Protecting IoT Devices Against DDoS Attacks

The 2016 is remembered as the year that showed to the world how dangerous Distributed Denial of Service attacks can be. Gauge of the disruptiveness of DDoS attacks is the number of bots involved: the bigger the botnet, the more powerful the attack. This character, along with the increasing availability of connected and insecure IoT devices, makes DDoS and IoT the perfect pair for the malware industry. In this paper we present the main idea behind AntibIoTic, a palliative solution to prevent DDoS attacks perpetrated through IoT devices

Which projects are selected for an innovation subsidy? The Portuguese case

Several empirical studies have analyzed which firm characteristics influence government evaluators in the decision to select specific firms to participate in Research and Develop- ment and Innovation subsidy programs. However, few authors have provided a precise analysis about the selection process of applications submitted for public support. The aim of the present article is to assess differences in investment project characteristics (expected impact) between firms with approved and non-approved applications and to understand which kinds of projects are selected for a subsidy. The analysis is focused on the case study of applications submitted to the Portuguese Innovation Incentive System (SI Innovation) between 2007 and 2013. The impact variables under study are those used in the selection procedure to grant the firm a subsidy, namely the expected impact on exports, value creation, productivity, patent application and qualified employment. Using a counterfactual analysis and Propensity Score Matching estimators, the results show that firms with approved applications are those that expect to invest more and forecast a higher increase in exports and productivity as the result of the investment project. However, these firms in comparison with the control group (those with non-approved applications) have investment projects with a lower contribution to growth and lower economic efficiency (return on investment in terms of productivity). The conclusions of this study could be useful for policy-makers since it provides evidence about firms’ strategic choice concerning investment projects submitted for an Innovation subsidy.info:eu-repo/semantics/publishedVersio

L.A. Rising: The 1992 Civic Unrest, the Arc of Social Justice Organizing, and the Lessons for Today's Movement Building

Examines the broad, multiracial, multi-sector movement building that has emerged in Los Angeles to demand community benefits agreements; better mass transit systems, school funding and curricula, and job training; and workers' and immigrants' rights

Progress on the preparation of nanocrystalline apatites and surface characterization: Overview of fundamental and applied aspects

Nanocrystalline calcium phosphate apatites constitute the main inorganic part of hard tissues, and a growing focus is devoted to prepare synthetic analogs, so-called “biomimetic”, able to precisely mimic the morphological and physico-chemical features of biological apatite compounds. Both from fundamental and applied viewpoints, an accurate characterization of nanocrystalline apatites, including their peculiar surface features, and a deep knowledge of crystallization aspects are prerequisites to attempt understanding mineralization phenomena in vivo as well as for designing innovative bioactive materials that may then find applications in bone tissue engineering, either as self-supported scaffolds and fillers or in the form of coatings, but also in other domains such as drug delivery or else medical imaging. Also,interfacial phenomena are of prime importance for getting a better insight of biomineralization and for following the behavior of biomaterials in or close to their final conditions of use. In this view,both adsorption and ion exchange represent essential processes involving the surface of apatite nanocrystals, possibly doped with foreign elements or functionalized with organic molecules of interest. In this review paper, we will address these various points in details based on a large literature survey. We will also underline the fundamental physico-chemical and behavioral differences that exist between nanocrystalline apatites (whether of biological origin or their synthetic biomimetic analogs) and stoichiometric hydroxyapatite

What Do Propositions explain? Inflationary vs deflationary perspectives and the case of singular propositions

In this paper we take up the question of the explanatory signifcance of the notion of propositional content. Our frst goal is to disentangle two types of approach: According to what we call infationism, propositions should be taken seriously enough to expect explanatory payofs from them. The alternative defationary rejects this claim. Our second goal is to explore the infationism vs. defationism contrast in depth by focusing on the distinction between singular and general propositions. We argue that infationism fails and outline a variety of defationism that ofers the best prospects for explaining the singular/general divide