Many social infrastructures fail in an unexpected way, and thus it is important to make a system resilient such that it can recover from various damages in a dynamic and flexible way. In this paper, we summarize major research results on systems resilience in the literature and present future research challenges crucial to establish a solid foundation of resilience engineering.

In this paper we describe a flexible, scalable, and reliable "object-oriented groupware platform" specially tailored as a foundation to support synchronous, asynchronous, and multi-synchronous groupware applications. The platform relies on an hybrid replication approach where volatile objects are actively replicated to support synchronous interaction, and persistent objects are lazily replicate...

Yi is a text editor written in Haskell and extensible in Haskell. We take advantage of Haskell’s expressive power to define embedded DSLs that form the foundation of the editor. In turn, these DSLs provide a flexible mechanism to create extended versions of the editor. Yi also provides some support for editing Haskell code.

In this paper, an explanatory design theory for Financial Market Surveillance Systems is presented, which addresses both user requirements and regulatory demands. The identified general requirements and generated general components of the proposed design theory provides a theoretical foundation for design of implementation of highly flexible and real-time surveillance systems for capital markets.

The foundation of a generic modelling tool is its flexible diagramming facility. The paper proposes a universal graphical editor definition language based on logical metamodel extended by presentation classes. Some more advanced diagram definition facilities such as patterns and diagram cores are also introduced. Implementation principles of this language, based on Graphical Diagramming Engine ...

This paper presents the design and implementation of a two-level thread scheduling system on NetBSD. This system provides a foundation for efficient and flexible threads on both uniprocessor and multiprocessor machines. The work is based on the scheduler activations kernel interface proposed by Anderson et al. [1] for userlevel control of parallelism in the presence of multiprogramming and mult...

The problem of adapting heterogeneous software components that present mismatching interaction behaviours is one of the crucial problems in Component-Based Software Engineering. The aim of this paper is to contribute to setting a theoretical foundation for software adaptation. A formal analysis of adaptor specifications is presented, and their usage to feature different forms of flexible adapta...

We introduce a new, free, open-source, web-based argument analysis tool called Monkeypuzzle. This is designed to provide both a foundation for creating and visualising reproducible argument analyses as well as a flexible framework for investigating new and extending existing argument analysis techniques.

In this paper, Rotary Vector (RV) reducer as the research object, using Solid Works software to establish a three-dimensional model of RV110-E reducer, and interference check. The key parts were processed flexibly by Abaqus, flexible body was imported into Adams rigid-flexible coupling dynamics RV reducer. Through simulation analysis, contact stress curve components is obtained, influencing fac...