feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Englisch  (3)
  • UB Potsdam  (2)
  • Staatliche Museen  (1)
  • GB Schulzendorf
  • SB Finsterwalde
  • Hildebrandt, Thomas  (3)
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Zugriff
  • 1
    UID:
    gbv_1676308539
    Umfang: 1 Online-Ressource (XXI, 438 p. 404 illus., 85 illus. in color)
    Ausgabe: 1st ed. 2019
    ISBN: 9783030266196
    Serie: Information Systems and Applications, incl. Internet/Web, and HCI 11675
    Inhalt: Tutorials -- Everything You Always Wanted To Know About Petri Nets, But Were Afraid To Ask -- Responsible Process Mining - A Data Quality Perspective -- IoT for BPMers. Challenges, case studies and successful applications -- Exploring Explorative BPM - Setting the Ground for Future Research -- Foundations -- Dynamic Reconfiguration of Business Processes -- A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations -- Modeling and Enforcing Blockchain-Based Choreographies -- Formal Reasoning on Natural Language Descriptions of Processes -- Goal-oriented Process Enhancement and Discovery -- Checking Regulatory Compliance: Will We Live to See It -- Modelling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints -- Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN -- Engineering -- Estimating Process Conformance by Trace Sampling and Result Approximation -- Trace Clustering on Very Large Event Data in Healthcare using Frequent Sequence Patterns -- ProcessExplorer: Intelligent Process Mining Guidance -- Machine Learning-Based Framework for Log-Lifting in Business Process Mining Applications -- Approximate Computation of Alignments of Business Processes through Relaxation Labelling -- Metaheuristic Optimization for Automated Business Process Discovery -- Learning Accurate LSTM Models of Business Processes -- Management -- Trust-aware Process Design -- Mining Process Mining Practices: An Exploratory Characterization of Information Needs in Process Analytics -- Towards a Process Reference Model for Research Management: An Action Design Research effort at an Australian University -- What the Hack? - Towards a Taxonomy of Hackathons -- Design Patterns for Business Process Individualization -- Understanding the Alignment of Employee Appraisals and Rewards with Business Processes -- Business Process Improvement Activities: Differences in Organizational Size, Culture, and Resources -- Regulatory Instability, Business Process Management Technology, and BPM Skill Configurations
    Inhalt: This book constitutes the proceedings of the 17th International Conference on Business Process Management, BPM 2019, held in Vienna, Austria, in September 2019. The 23 full and 4 tutorial short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers were organized in topical sections named: foundations; engineering; and management
    Weitere Ausg.: ISBN 9783030266189
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-26618-9
    Sprache: Englisch
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    gbv_1656977427
    Umfang: Online-Ressource (XVII, 167 p. 36 illus, online resource)
    ISBN: 9783319336121
    Serie: Lecture Notes in Computer Science 9421
    Inhalt: This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types
    Inhalt: Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants
    Weitere Ausg.: ISBN 9783319336114
    Weitere Ausg.: Druckausg. ISBN 978-3-319-33611-4
    Sprache: Englisch
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    gbv_571005330
    ISBN: 3515075100
    In: Crisis and memory in Islamic societies, Würzburg [u.a.] : Ergon-Verl. [u.a.], 2001, (2001), Seite 177-194, 3515075100
    In: 3899130758
    In: year:2001
    In: pages:177-194
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz