Filters








634 Hits in 4.0 sec

Datenqualitätsmanagement im Lieferanten-Controlling

Boris Otto, Henning Hinderer
2009 Controlling & Management  
Korrektheit: Maß für die Fehlerfreiheit eines Datenwerts.  ...  Mitarbeiterzahl 2007 über 50'000 über 100'000 über 100'000 1'500 Zahl an Geschäftsbereichen 10 14 6 2 Absatzmarkt global global global global Beschaffungsmarkt global global global  ... 
doi:10.1007/s12176-009-0010-6 fatcat:rqlbk5sfjzd2tjuhfqcl7cgeyq

Sustainicum Collection – Lehrmaterialien für Bildung für nachhaltige Entwicklung

Richard Kromp
2016 GW-Unterricht  
Die Plattform wurde für die ersten Semester der universitären Lehre entwickelt, eignet sich aber auch für die Sekundarstufe II.  ...  Systemisches und ganzheitliches Denken ist Voraussetzung für ein klares Verständnis für lokale und globale Zusammenhänge und wird durch die Nutzung der Plattform gezielt gefördert.  ...  , regionaler und globaler Ebene befassen.  ... 
doi:10.1553/gw-unterricht141s64 fatcat:s5dadl4qcrbnxgkwyfa2tevysi

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler

Sabine Glesner, Jan Olaf Blech
2005 Software Engineering  
Korrektheit von Compilern ist notwendige Voraussetzung für die Korrektheit der damit übersetzten Software. Insbesondere optimierende Compiler sind oft fehlerhaft.  ...  Damit tragen unsere Ergebnisse zur Korrektheit von Compilern, einem wichtigen Werkzeug in der Softwaretechnik, bei.  ...  Die entsprechenden Korrektheitsbeweise folgen diesem Prinzip: Korrektheit kann lokal gezeigt werden, und globale Korrektheit folgt daraus.  ... 
dblp:conf/se/GlesnerB05 fatcat:qswap32nwrci5iqfvvtntgc524

Verteilte Metadatenverwaltung und Anfragebearbeitung für Internet-Datenquellen

Markus Keidl, Alfons Kemper, Donald Kossmann, Alexander Kreutz
2002 Informatik - Forschung und Entwicklung  
Es besitzt eine 3schichtige Architektur und unterstützt Caching und Replikation in der Mittelschicht, so dass Anfragen lokal ausgewertet werden können.  ...  Aus Effizienzgründen, d. h. um Kommunikation über das Internet zu vermeiden, puffern L-MDVs globale Metadaten und verwenden ausschließlich lokal verfügbare Metadaten für die Anfragebearbeitung.  ...  Die Normalisierung ist für die Korrektheit der Regel-Zerlegung nicht unbedingt notwendig, sie vereinfacht aber ihre Erklärung und Implementierung.  ... 
doi:10.1007/s00450-002-0116-y fatcat:ivwqs6z53ndzzet5k524yizfyq

Entwurf und Bewertung fehlertoleranter, verteilter Echtzeitsysteme am Beispiel MARS [chapter]

H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabl, C. Senft, R. Zainlinger
1988 GI — 18. Jahrestagung II  
des Software-Entwicklungswerkzeugs Für die Umsetzung des Konzepts müssen die nachfolgenden Kriterien erfüllt sein.  ...  Es kann zwischen zwei Arten von Kriterien unterschieden werden; einerseits Kriterien zur Bewertung der Software-Entwicklungswerkzeuge, andererseits Kriterien zur Bewertung des generierten Codes.  ...  Für die Berechnung der ausführbaren Pfade auf Basis der Sorted-Circuit-Code-Darstellung müssten die boole'schen Gleichungssysteme für alle möglichen Eingangsvektoren und Zustandsvektoren gelöst werden,  ... 
doi:10.1007/978-3-642-74135-7_29 dblp:conf/gi/KopetzDKMSSZ88 fatcat:4ix4a4mqg5hp7dmme75e5anq6q

Die Messung der Fähigkeit zur Unterrichtsplanung im Fach Physik mit Hilfe eines standardisierten Performanztests

Jan Schröder, Josef Riese, Christoph Vogelsang, Andreas Borowski, David Buschhüter, Patrick Enkrott, Maren Kempin, Christoph Kulgemeyer, Peter Reinhold, Horst Schecker
2020 Zeitschrift für Didaktik der Naturwissenschaften  
Dabei stellt sich das Testverfahren als ausreichend sensitiv heraus, um für N = 68 Testpersonen (ca. 20 % Dropout) erwartungstreu eine signifikante Zunahme des Testscores während des Praxissemesters, welches  ...  Andererseits muss für eine hohe Planungsqualität auch die Interdependenz der einzelnen Planungselemente global beachtet werden, also z.  ...  Zum fachlichen Inhalt bzw. zur fachlichen Korrektheit wurden keine Nachfragen gestellt, da die fachliche Korrektheit auch durch andere Personen mit physikalischer Ausbildung eingeschätzt werden kann und  ... 
doi:10.1007/s40573-020-00115-w fatcat:mznf5fzubjdohmvsl4he7x5jtm

Modelle der Fehlertoleranz in Nachrichten-gekoppelten Parallelrechnern [chapter]

Winfried Seidel
1988 GI — 18. Jahrestagung II  
Für ihre Bereitschaft, mit mirüber meine Themen zu diskutieren, bin ich zudem  ...  Lokale und globale Fehlerannahme. Die eben beschriebenen Beispiele las- sen sich alle als Programmtransformation auf Prozeßebene formalisieren [72].  ...  Während die lokale Fehlerannahme die Entfaltungsmöglichkeiten fehlerhafter Prozesse erweitert, schränkt die globale Fehlerannahme diese wieder ein.  ... 
doi:10.1007/978-3-642-74135-7_28 dblp:conf/gi/Seidel88 fatcat:ttqbsyhvpfdphflzbhszab7i2a

AKWI Nr. 8 (2018)

Konrad Marfurt, Christian Müller, Frank Herrmann, Norbert Ketterer (Hrsg.)
2018 Zenodo  
Die Kriterien müssen für die Bewertung des Entscheidungsproblems relevant sein.  ...  Für die Gewichtung der gesammelten Kriterien wird eine Prioritätenanalyse durchgeführt.  ...  Dies geschieht zur Unterscheidung von Transaktionen die für das Event bzw. für die Ausführung des Geschäftsprozesses verantwortlich sind.  ... 
doi:10.5281/zenodo.2476644 fatcat:evv6ry7owjdbhgewbgcoz4tk7m

Das Thema Flucht im Unterricht im digitalen Zeitalter – Welche Strategien nutzen Studierende, um "alternatives" Unterrichtsmaterial zu evaluieren?

Lydia Kater-Wettstädt, Désirée Lange
2020 Zeitschrift für internationale Bildungsforschung und Entwicklungspädagogik  
Die Kriterien, die der Zielgruppenadäquatheit zu Grunde ge- legt werden, sind hier mehr oder weniger Formale: zum einen die Passung der Inhalte für die Kinder und damit verbunden der Umfang.  ...  konkretisieren (z.B. die unterschiedlichen Handlungsebenen, die globale Perspektive oder die Diversitätssensitivität, siehe z.B.  ...  Forschungsschwerpunkte: Migration und Flucht im Unterricht, Bildung für nachhaltige Entwicklung und Globales Lernen in der Lehrkräftebildung. Dr. in Sarah Désirée Lange  ... 
doi:10.31244/zep.2020.02.05 fatcat:yb6qwd3gxrdnhkrba6iwg7hw6a

Hierarchische Darstellung Geometrischer Objekte und Ihre Algorithmische Bedeutung [chapter]

Thomas Lengauer
1986 Informatik-Anwendungen — Trends und Perspektiven  
Beschreibt v Γ die Geschwindigkeit des bewegten Randes, so muss lokal für jede Zelle die Beziehung d dt Zelle V dV = Zelle v Γ df gelten, womit sich global für das betrachtete Gebiet der  ...  Die Erweiterung auf eine Kombination aus zwei Kriterien ist unkompliziert.  ... 
doi:10.1007/978-3-642-71388-0_36 dblp:conf/gi/Lengauer86 fatcat:7v3gcjqlifc5ll2fgqpkded2dy

Modellierung und Verifikation medizinischer Leitlinien

Jonathan Schmitt
2010 it - Information Technology  
Die Wartebedingung wait-for eines Planes definiert notwendige Kriterien für die erfolgreiche Beendigung des Planes.  ...  fortgeschrittener Brustkrebs Medizinischer Inhalt des Kapitels In den 50er Jahren des letzten Jahrhunderts wurden Kriterien definiert, unter denen eine Behandlung von fortgeschrittenem, aber noch lokal  ...  Entsprechend muss zum Nachweis der Korrektheit hier davon ausgegangen werden, dass die Patienten alle das symbolische Alter " old" erreicht haben.  ... 
doi:10.1524/itit.2010.0596 fatcat:p2666qfp55b4ziammo74xty5cu

Zertifizierende verteilte Algorithmen

Kim Völlinger, Humboldt-Universität Zu Berlin
2020
Die Korrektheit des Checkers ist folglich notwendig für den Ansatz und die formale Instanzverifikation, bei der wir Checker verifizieren und einen maschinen-geprüften Beweis für die Korrektheit eines Eingabe-Ausgabe-Paars  ...  Eine Herausforderung der Softwareentwicklung ist, die Korrektheit einer Software sicherzustellen. Testen bietet es keine mathematische Korrektheit. Formale Verifikation ist jedoch oft zu aufwändig.  ...  ist die Frage nach der lokalen Korrektheit, wenn wir uns das folgende Szenario vorstellen.  ... 
doi:10.18452/21978 fatcat:sez46qx7ujdplo772fmnnlgfpu

AKWI Nr. 11 (2020)

Konrad Marfurt, Christian Müller, Frank Herrmann, Norbert Ketterer
2020 Zenodo  
Szenario im Idealfall auch keine Logik für Aggregationen implementiert sein.  ...  Durch einen Abstand zwischen Permutationen können lokale Optima -bezogen auf diesen Anwendungsfall der Ressourcenbelegungsplanung eben lokale Minima -auftreten, wohingegen ein globales Minimum (Optimum  ...  Dies gilt sowohl für den Abschluss eines Gesamtprojekts als auch für einzelne Anforderungen.  ... 
doi:10.5281/zenodo.3966978 fatcat:oqdn334ntrhrpesxlqpstr7mcu

Organisatorisches und technisches Konzept für Forschungsverbünde [chapter]

2014 Leitfaden zum Datenschutz in medizinischen Forschungsprojekten: Generische Lösungen der TMF 2.0  
den spezifizierten Kriterien entsprechen.  ...  Für lokale Authenti- sierungsvorgänge sind aber insbesondere Fingerabdruckscanner durchaus ge- eignet, z.B. um Nutzer an ihrem Arbeitsplatzrechner oder für die Nutzung ihrer Smartcard zu authentifizieren  ... 
doi:10.32745/9783954662951-6 fatcat:l3opkyqsyzesjdycya6qrjpvv4

AKWI Nr. 15 (2022)

Frank Herrmann, Norbert Ketterer, Konrad Marfurt, Christian Müller
2022 Zenodo  
von Anforderungen durch Verknüpfung von Szenario- Lindemann, U. (2009). Methodische Entwicklung techni- Technik und Kano-Modell”. In: 15. Symposium für Vor- scher Produkte.  ...  SAP bietet für die- Daten und die Möglichkeit der Prozessüberwachung ge- ses Szenario mit der Chargenklassifikation ein sehr ein- rade bei unterschiedlichen Rezepten ohne eine systema-  ... 
doi:10.5281/zenodo.7058653 fatcat:56vkjuvzi5h2hmf27hj6we7mzi
« Previous Showing results 1 — 15 out of 634 results