feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • English  (2)
  • UB Potsdam  (2)
  • GB Schulzendorf
  • SB Finsterwalde
  • Hildebrandt, Thomas
  • 1
    UID:
    gbv_1676308539
    Format: 1 Online-Ressource (XXI, 438 p. 404 illus., 85 illus. in color)
    Edition: 1st ed. 2019
    ISBN: 9783030266196
    Series Statement: Information Systems and Applications, incl. Internet/Web, and HCI 11675
    Content: 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
    Content: 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
    Additional Edition: ISBN 9783030266189
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-26618-9
    Language: English
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1656977427
    Format: Online-Ressource (XVII, 167 p. 36 illus, online resource)
    ISBN: 9783319336121
    Series Statement: Lecture Notes in Computer Science 9421
    Content: 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
    Content: 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
    Additional Edition: ISBN 9783319336114
    Additional Edition: Druckausg. ISBN 978-3-319-33611-4
    Language: English
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages