Am 18./19. Juni 2009 fand die Jahrestagung der GI-Fachgruppe Software-Architektur in Kiel statt. Die Fachgruppe, deren Leitungsgremium neu gewählt wurde, bildet eine deutschsprachige Plattform für den Austausch von Erfahrungen aus Wissenschaft und Praxis sowie die Diskussion neuer Ansätze auf dem Gebiet der Software-Architektur. Im Vorfeld der Tagung trafen sich die Arbeitskreise MDA und SOA. E...

It is well known that automatic groups can be characterized using geometric properties of their Cayley graphs. Along the same line of thought, we provide a geometric characterization of automatic monoids. This involves working with a slightly strengthened definition of an automatic monoid which is still a proper generalization of the concept of an automatic group. The two definitions coincide i...

The notation and terminology used here have been introduced in the following papers: [1], [2], [4], [3], and [5]. For simplicity, we use the following convention: Y is a non empty set, a is an element of BVF(Y ), G is a subset of PARTITIONS(Y ), and A, B, C, D are partitions of Y . Next we state a number of propositions: (1) If G is a coordinate and G = {A,B, C,D} and A 6= B and A 6= C and A 6=...

Adolescence and prenatal cocaine exposure can impact risk-taking. In this study, we evaluated risk-taking and gender-related differences in adolescents with prenatal cocaine exposure in terms of electrophysiological correlates of inhibitory control and sustained attention. No differences related to gender were found within measures of risk-taking, or electrophysiological response relating to ri...

In this paper we analyze the requirements access control mechanisms must fulfill in the context of group communication and define a framework for supporting fine-grained access control in client-server group communication systems. Our framework combines rolebased access control mechanisms with environment parameters (time, IP address, etc.) to provide support for a wide range of applications wi...

Traditional computable general equilibrium (CGE) models have ignored uncertainty ─ even when applied to fields such as environmental modeling that are replete with economic uncertainty. In contrast, many control theory models have focused on the effects of uncertainty. Thus marrying the tradition of CGE and control modeling can result in pricequantity models with explicit dynamics and careful t...

Elevator group control systems (EGCS’s) are the control systems that systematically manage three or more elevators in order to efficiently transport passengers. Most EGCS’s have used the hall call assignment method to assign elevators in response to passengers’ calls. This paper proposes a control strategy generation method, a hall call assignment method based on the fuzzy theory, and then the ...