2,238 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
The Impact of Entry and Competition by Open Source Software on Innovation Activity
This paper presents the stylized facts of open source software innovation and provides empirical evidence on the impact of increased competition by OSS on the innovative activity in the software industry. Furthermore, we introduce a simple formal model that captures the innovation impact of OSS entry by examining a change in market structure from monopoly to duopoly under the assumption that software producers compete in technology rather than price or quantities. The paper identifies a pro-innovative effect of OSS competition.open source software, innovation, strategic interaction
The Impact of Entry and Competition by Open Source Software on Innovation
No abstractNo keywords;
Open Source Software: The New Intellectual Property Paradigm
Open source methods for creating software rely on developers who voluntarily reveal code in the expectation that other developers will reciprocate. Open source incentives are distinct from earlier uses of intellectual property, leading to different types of inefficiencies and different biases in R&D investment. Open source style of software development remedies a defect of intellectual property protection, namely, that it does not generally require or encourage disclosure of source code. We review a considerable body of survey evidence and theory that seeks to explain why developers participate in open source collaborations instead of keeping their code proprietary, and evaluates the extent to which open source may improve welfare compared to proprietary development.
Innocent strategies as presheaves and interactive equivalences for CCS
Seeking a general framework for reasoning about and comparing programming
languages, we derive a new view of Milner's CCS. We construct a category E of
plays, and a subcategory V of views. We argue that presheaves on V adequately
represent innocent strategies, in the sense of game semantics. We then equip
innocent strategies with a simple notion of interaction. This results in an
interpretation of CCS.
Based on this, we propose a notion of interactive equivalence for innocent
strategies, which is close in spirit to Beffara's interpretation of testing
equivalences in concurrency theory. In this framework we prove that the
analogues of fair and must testing equivalences coincide, while they differ in
the standard setting.Comment: In Proceedings ICE 2011, arXiv:1108.014
Relative injective modules, superstability and noetherian categories
We study classes of modules closed under direct sums,
-submodules and -epimorphic images where
is either the class of embeddings, -embeddings or pure
embeddings.
We show that the -injective modules of theses classes satisfy a
Baer-like criterion. In particular, injective modules, -injective modules,
pure injective modules, flat cotorsion modules and -torsion pure
injective modules satisfy this criterion. The argument presented is a model
theoretic one. We use in an essential way stable independence relations which
generalize Shelah's non-forking to abstract elementary classes.
We show that the classical model theoretic notion of superstability is
equivalent to the algebraic notion of a noetherian category for these classes.
We use this equivalence to characterize noetherian rings, pure semisimple
rings, perfect rings and finite products of finite rings and artinian valuation
rings via superstability.Comment: 25 page
- …