10,826 research outputs found
Towards Ecology Inspired Software Engineering
Ecosystems are complex and dynamic systems. Over billions of years, they have
developed advanced capabilities to provide stable functions, despite changes in
their environment. In this paper, we argue that the laws of organization and
development of ecosystems provide a solid and rich source of inspiration to lay
the foundations for novel software construction paradigms that provide
stability as much as openness.Comment: No. RR-7952 (2012
Artificial table testing dynamically adaptive systems
Dynamically Adaptive Systems (DAS) are systems that modify their behavior and
structure in response to changes in their surrounding environment. Critical
mission systems increasingly incorporate adaptation and response to the
environment; examples include disaster relief and space exploration systems.
These systems can be decomposed in two parts: the adaptation policy that
specifies how the system must react according to the environmental changes and
the set of possible variants to reconfigure the system. A major challenge for
testing these systems is the combinatorial explosions of variants and
envi-ronment conditions to which the system must react. In this paper we focus
on testing the adaption policy and propose a strategy for the selection of
envi-ronmental variations that can reveal faults in the policy. Artificial
Shaking Table Testing (ASTT) is a strategy inspired by shaking table testing
(STT), a technique widely used in civil engineering to evaluate building's
structural re-sistance to seismic events. ASTT makes use of artificial
earthquakes that simu-late violent changes in the environmental conditions and
stresses the system adaptation capability. We model the generation of
artificial earthquakes as a search problem in which the goal is to optimize
different types of envi-ronmental variations
Structure of W3(OH) from Very High Spectral Resolution Observations of 5 Centimeter OH Masers
Recent studies of methanol and ground-state OH masers at very high spectral
resolution have shed new light on small-scale maser processes. The nearby
source W3(OH), which contains numerous bright masers in several different
transitions, provides an excellent laboratory for high spectral resolution
techniques. We present a model of W3(OH) based on EVN observations of the
rotationally-excited 6030 and 6035 MHz OH masers taken at 0.024 km/s spectral
resolution. The 6.0 GHz masers are becoming brighter with time and show
evidence for tangential proper motions. We confirm the existence of a region of
magnetic field oriented toward the observer to the southeast and find another
such region to the northeast in W3(OH), near the champagne flow. The 6.0 GHz
masers trace the inner edge of a counterclockwise rotating torus feature.
Masers at 6030 MHz are usually a factor of a few weaker than at 6035 MHz but
trace the same material. Velocity gradients of nearby Zeeman components are
much more closely correlated than in the ground state, likely due to the
smaller spatial separation between Zeeman components. Hydroxyl maser peaks at
very long baseline interferometric resolution appear to have structure on
scales both smaller than that resolvable as well as on larger scales.Comment: 21 pages using emulateapj.cls including 16 figures and 2 tables,
accepted to Ap
Authority inside the firm: multiple mechanisms of coordination
In the last twenty years, through a growing awareness of contractual incompleteness, the concept of authority has regained primacy in the analysis of the employment relationship. This article pursues two goals. First, we assess the famous controversy between Coase and Alchian and Demsetz via an analysis of the foundations of intra-firm authority. Second, we argue that intra-firm authority cannot hinge on a single variable and, to the contrary, rests on multiple mechanisms. The employer's authority over the employee is therefore not binary âinfinite or null â and should be understood in terms of degree.authority; firm; incomplete contracts; law and economics
A Bayesian Real Option Approach to Patents and Optimal Renewal Fees
This article aims at estimating the optimal profile of renewal fees patent offices should implement. It is at the crossroad of two strands of literature. The first strand is the theoretical literature analysing renewal fees as an optimal revelation mechanism. The second strand is the econometric literature developing real option models of patent renewal decisions to assess the value of patents. Using data from the French patent office, we find that there is little room to lower the social cost of patents without affecting the monetary incentives to apply for a patent and innovate. We show that a menu of optimally defined profiles helps to further discriminate among patents.
Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software
In this paper, we study how object-oriented classes are used across thousands
of software packages. We concentrate on "usage diversity'", defined as the
different statically observable combinations of methods called on the same
object. We present empirical evidence that there is a significant usage
diversity for many classes. For instance, we observe in our dataset that Java's
String is used in 2460 manners. We discuss the reasons of this observed
diversity and the consequences on software engineering knowledge and research
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants
The predictability of program execution provides attackers a rich source of
knowledge who can exploit it to spy or remotely control the program. Moving
target defense addresses this issue by constantly switching between many
diverse variants of a program, which reduces the certainty that an attacker can
have about the program execution. The effectiveness of this approach relies on
the availability of a large number of software variants that exhibit different
executions. However, current approaches rely on the natural diversity provided
by off-the-shelf components, which is very limited. In this paper, we explore
the automatic synthesis of large sets of program variants, called sosies.
Sosies provide the same expected functionality as the original program, while
exhibiting different executions. They are said to be computationally diverse.
This work addresses two objectives: comparing different transformations for
increasing the likelihood of sosie synthesis (densifying the search space for
sosies); demonstrating computation diversity in synthesized sosies. We
synthesized 30184 sosies in total, for 9 large, real-world, open source
applications. For all these programs we identified one type of program analysis
that systematically increases the density of sosies; we measured computation
diversity for sosies of 3 programs and found diversity in method calls or data
in more than 40% of sosies. This is a step towards controlled massive
unpredictability of software
A search for 4750- and 4765-MHz OH masers in Southern Star Forming Regions
We have used the Australia Telescope Compact Array (ATCA) to make a sensitive
(5- 100 mJy) search for maser emission from the 4765-MHz
F=10 transition of OH. Fifty five star formation regions
were searched and maser emission with a peak flux density in excess of 100 mJy
was detected toward fourteen sites, with ten of these being new discoveries. In
addition we observed the 4750-MHz F=11 transition towards a
sample of star formation regions known to contain 1720-MHz OH masers, detecting
marginal maser emission from G348.550-0.979. If confirmed this would be only
the second maser discovered from this transition. The occurrence of 4765-MHz OH
maser emission accompanying 1720-MHz OH masers in a small number of well
studied star formation regions has lead to a general perception in the
literature that the two transitions favour similar physical conditions. Our
search has found that the presence of the excited-state 6035-MHz OH transition
is a much better predictor of 4765-MHz OH maser emission from the same region
than is 1720-MHz OH maser emission. Combining our results with those of
previous high resolution observations of other OH transitions we have examined
the published theoretical models of OH masers and find that none of them
predict any conditions in which the 1665-, 6035- and 4765-MHz transitions are
simultaneously inverted.
Erratum abstract:
Dodson & Ellingsen (2002) included several observations with significant
pointing errors, invalidating the upper limits found in these directions. These
have now been reobserved or recalculated. A new table of upper limits has been
generated, and two more masers that would have been seen have been found.Comment: Included an Erratum with Max as another author. This erratum was
rejected by MNRAS (Feb 04) as it contained too much data. Resubmitted as a
paper (Jun 04). Rejected (Sep 04) it had too little data. Resubmitted as
reduced erratum (Apr 05). Still waitin
- âŠ