In this article we define a requirements elicitation method based on natural language modelling. We argue that our method complies with synthesized quality criteria for RE methods, and compare this with the compliance of traditional RE methods (EER, ORM, UML). We show limited empirical evidence...

In this paper, we survey different models, techniques, and some recent results to tackle machine scheduling problems within a distributed setting. In traditional optimization, a central authority is asked to solve a (computationally hard) optimization problem. In contrast, in distributed...

To take development and budgeting decisions for research activi- ties the officials in charge need to constantly evaluate and assess the quality of research. Over the years a handful of scoring methods for academic journals have been proposed. Discussing the most prominent methods (de facto...

The property of an allocation rule to be implementable in dominant strategies by a unique payment scheme is called revenue equivalence. In this paper we give a characterization of revenue equivalence based on a graph theoretic interpretation of the incentive compatibility constraints. The...

We consider parallel, identical machine scheduling problems where the jobs are subject to precedence constraints, release dates, and the processing times of jobs are governed by independent probability distributions. The objective is to minimize the expected value of the total weighted...

An independence system is a family I of subsets of a ground set V with the property that any subset of any member of I also belongs to I. The inclusion-minimal sets not in I are called minimal covers. We prove several complexity results related to computation, enumeration, and counting of the...

In this paper we analyze the performance of a recently proposed sequential auction, called the c-bisection auction, that can be used for a sale of a single indivisible object. We discuss the running time and the e±ciency in the ex-post equilibrium of the auction. We show that by changing the...

In this paper we will address the conceptual schema design procedure (CSDP) in fact-basedmodeling. We will focus on the modeling procedure of ‘cook-book’ for deriving the set-comparisonand mandatory role constraints. We will give an algorithm that can be applied by an analyst in...

The object-role model (ORM) data structure can be represented in the unified modeling language (UML) using the five fact encoding constructs: class attribute, association, association class, sub-class and the association qualifier. In the existing literature there exist numerous mappings of how...

The property of an allocation rule to be implementable in dominant strategies by a unique payment scheme is called revenue equivalence. In this paper we give a characterization of revenue equivalence based on a graph theoretic interpretation of the incentive compatibility constraints. The...