The authors propose the development of a more complete Digital Music Instrument (DMI) evaluation methodology, which provides structured tools for the incremental development of prototypes based on user feedback. This paper emphasizes an important but often ignored stakeholder present in the context of musical performance: the audience. We demonstrate the practical application of an audience foc...

In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different phases of the modeling and introduce appropriate models as well as suitable notations. A small example from the automotive domain is used throughout the paper to illustrate the approach.

Hyperproperties were proposed as an abstract formalization of security policies, but unfortunately they lack a generic verification methodology. In an attempt to remedy this, we introduced the notion of incremental hyperproperties (IHPs), motivated by the observation that they have a clearer and more feasible verification methodology. To show that verification is indeed feasible, a decidable IH...

A large number of scanner generators have been developed. Since they are restricted to the longestmatch rule, they are unsuitable for an incremental environment. We present the ALADIN system, which is able to deliver more than a single token if required. Thus, an ambiguity may be passed to the calling instance. Beyond this ‘incremental feature’, ALADIN is a well-structured and easy-to-understan...

Masahiko Aoki and others have distinguished two alternative modes for a firm’s internal organization. We argue that the profitability of each mode depends on the distribution of firms across modes and on the general economic environment. We characterize the evolutionary equilibria in both a parametric and a general model, and argue that corner equilibria predominate. We analyze the effects of t...

Fast analysis response times in IDEs are essential for a good editor experience. Incremental type-checking can provide that scalable fashion. However, existing techniques not reusable between languages. Moreover, mutual and dynamic dependencies preclude traditional approaches to incrementality. This makes finding automatic incremental challenging but important open question. In this paper, we p...

One of the most challenging tasks in association rule mining is that when a new incremental database added to an original database, some existing frequent itemsets may become infrequent and vice versa. As result, previous rules invalid emerge. We designed new, more efficient approach for using Fast Incremental Updating Frequent Pattern growth algorithm (FIUFP-Growth), Conditional tree (ICP-tree...

We propose a modular architecture for autonomous robots which allows for the implementation of basic behavioral modules by both programming and training, and accommodates for an evolutionary development of the interconnections among modules. This architecture can implement highly complex controllers and allows for incremental shaping of the robot behavior. Our proposal is exempli ed and evaluat...

endurance time (et) method is a relatively new performance-based earthquake method for structural evaluation and design. in this method, the structure is subjected to a gradually intensifying accelorogram(s) and its performance is assessed based on the maximum time duration that it can meet the specified performance objectives. using moment-resisting and braced frames which are rehabilitated by...