Domänen-spezifische Sprachen dienen der Spezifikation von Modellen einer Anwendungsdomäne. Neben der Syntaxprüfung ist es zunehmend erforderlich auch semantische Prüfungen der Modelle durchzuführen. In den klassischen Werkzeugen zur Entwicklung Domänen-spezifischer Sprachen aus dem Gebiet der Modell-basierten Entwicklung wird häufig OCL zur Spezifikation solcher Bedingungen im Meta-Modell einge...

Bei der Planung der Bewirtschaftungsmaßnahmen in den kommenden Tagen muss der Landwirt die Wettervorhersage zwingend berücksichtigen. Die daraus abzuleitende Bewertung der Befahrbarkeit ist in vielen Fällen schwierig. Ein Internet-Service könnte es dem Landwirt ermöglichen, für die Befahrbarkeit seiner Schläge Go/NoGo-Karten für die kommenden Tage zu erstellen. Ein Modell zur Befahrbarkeitsbewe...

Informationsdienste werden heutzutage von großen Teilen der Bevölkerung im Berufswie im Privatleben genutzt. Es ist ein wichtiges informationswissenschaftliches Thema, Informationsdienste adäquat zu beschreiben und ihre Qualität zu bewerten. Unser Information Service Evaluation (ISE) Modell führt unterschiedliche Traditionen der Evaluationssowie der Technologieakzeptanzforschung zusammen und be...

In this paper we present a systematic approach for the determination of process conformity and the integration of process models. Similar to CMM which defines consecutive levels of process maturity, we propose a five-level model measuring the conformity of process models. The approach is of practical importance for a number of applications, e.g. when a company’s process model has to be checked ...

Zusammenfassung. Wir präsentieren einen automatischen Algorithmus zur Registrierung und Überlagerung von Fundusbildern zu großflächigen Kompositionsaufnahmen. Das Verfahren kombiniert flächenbasierte und punktbasierte Ansätze. Als Ähnlichkeitsmaß dient jeweils der normierte Korrelationskoeffizient, der sich im Vergleich zur Transinformation als robuster erwies und schneller zu berechnen ist. De...

Bin Chen 2013 Soft Semi-Open Sets and Related Properties in Soft Topological Spaces. Applied Mathematics and Information Sciences, No. 1, (2013), 287-294. Gnanambal Ilango, Arun, B. , and Saravana Kumar, K. 2014. Some Properties of Soft ?-Open Sets in Soft Topological Space. IOSR Journal of Mathematics, Vol. 9, Issue 6 (Jan 2014), 20-24. Kannan, K. 2012. Soft Generalized-Closed Sets in Soft Top...

Breast cancer is one of the leading causes for death of women in the western world. Detection of anomalies early pathological stages and immidiate treatment are essential for successful cure. Early stages of breast cancer are indicated by the occurance of microcalcifications [2]. About 30% of all tissue changes show clustered microcalcifications. Their shape and spatial arrangement are of high ...

Die Einführung mobiler Technologien in Unternehmen erfolgt häufig technikgetrieben und ohne genaue Kenntnis der konkreten, zu realisierenden Nutzenpotenziale. Es wird deshalb ein Vorgehensmodell vorgestellt, mit dem das Mobilitätspotenzial von Geschäftsprozessen systematisch analysiert werden kann. Im Vordergrund steht dabei die Verteilungsstruktur der Geschäftsprozesse. Ein weiterer wichtiger ...