Die bisher manuelle Compliance-Zertifizierung von Workflows kann besonders im Cloud-Computing den Ansprüchen an Einhaltung verschiedenster Regularien und hohe Flexibilität nicht gerecht werden. Mit Comcert wurde in diesem Beitrag ein Verfahren zur automatisierten Analyse von Workflows vorgestellt. Hält ein Workflow die aufgestellten Regeln nicht ein, lokalisiert Comcert die Schwachstellen imWor...

This thesis introduces the DLXπ+, a super-pipelined processor with variable cycle time. The cycle time of the DLXπ+ may be as low as 9 gate delays (including 5 gate delays for registers), which is assumed to be a lower bound for the cycle time. For the parts of the DLXπ+ that significantly differ form previous implementations correctness proofs are provided. Formulas are developed which compute...

In classical optimal foraging models long-term rate of energy intake (the ratio of expected amount of food over expected time) is assumed to be die maximized currency, because doing this is consistent with minimizing die loss of alternative opportunities. Here this possibility and various alternatives are examined quantitatively using European starlings (Sturnus vulgaris) in the laboratory. The...

The reliability of an integrated circuit (IC) is a strong function of temperature. In this study, we developed domputer-aided design tools to predict the temperature distribution of an IC die and compared it with thermal maps obtained by infrared (IR) imaging. A temperature sensor array fabricated on test chips was used to measure the actual surface temperature of an IC die., This array was use...

Zusammenfassung Basierend auf unseren bisherigen Erfahrungen möchten wir Empfehlungen für die szenariobasierte Konzeption chirurgischer Trainingsund Planungssysteme geben. Die Spezifikation auf Basis von Szenarien schafft eine gemeinsame Kommunikationsbasis zwischen Entwicklern und Ärzten und ermöglicht die anwendernahe Entwicklung von Software. Dabei entsteht jedoch eine Vielzahl an Dokumenten...

The control of flow balance at the die exit is key for successful extrusion polymers. complex cross-sectional variation in real-world hollow profiles intrinsically promotes imbalance cavity. Special considerations are required designing dies such profiles. design a door frame profile was computationally optimized this study with aid commercially available software package. velocity distribution...

Die Koordination mehrerer an einen Projekt arbeitender Personen stellte schon immer ein Problem der betrieblichen Praxis dar und hat in letzter Zeit an Bedeutung gewonnen. Bedingt durch den sich immer weiter verschärfenden globalen Wettbewerbs haben sich die Produktlebenszyklen stark verkürzt. Daraus folgt insbesondere, daß die Produktentwicklung drastisch beschleunigt werden muß. Erreicht wird...

Big Data stellt Konzepte, Methoden, Technologien, IT-Architekturen sowie Werkzeuge zur Auswertung großer Volumina vielfältiger Informationen für Management-Entscheidungen bereit. Wichtiger Bestandteil heutiger Big Data-Architekturen stellen mobile Endgeräte wie z.B. Tablet-Computer dar. Am Beispiel des Tablet-Computers Microsoft Surface RT lässt sich aufzeigen, dass designbezogene Fehlentscheid...

A 3D mathematical model of orthodontic archwire with rectangular curve is established. Simplified 3D solid model of orthodontic archwire bending robot, which is consistent of bending die, support structure and archwire are established by Creo software, then the simplified model of bending die is put into ANSYS Workbench. Material parameters the contact condition and boundary conditions are set ...

Topic Maps ermöglichen, semantische Navigationsstrukturen über Dokumente im Web zu modellieren. Nach einer kurzen Vorstellung der wichtigsten Elemente des Standards untersuchen wir die Anwendbarkeit am Beispiel der Modellierung der Kompetenzen von wissenschaftlichen Mitarbeitern, um Experten für den Review von Fachartikeln auffinden und auswählen zu können. Dabei wird der Standard im Kontext de...