top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Business Process Management Workshops : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers / / edited by Niels Lohmann, Minseok Song, Petia Wohed
Business Process Management Workshops : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers / / edited by Niels Lohmann, Minseok Song, Petia Wohed
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XLI, 564 p. 205 illus.)
Disciplina 004
Collana Lecture Notes in Business Information Processing
Soggetto topico Information technology - Management
Business information services
Application software
Production management
Computer Application in Administrative Data Processing
IT in Business
Computer and Information Systems Applications
Operations Management
ISBN 9783319062570
3319062573
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Discovering and Navigating a Collection of Process Models using Multiple Quality Dimensions -- Discovering Stochastic Petri Nets with Arbitrary Delay Distributions From Event Logs -- Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models -- Uncovering the Relationship between Event Log Characteristics and Process Discovery Techniques -- Process remaining time prediction using query catalogs -- Discovering Block-Structured Process Models From Event Logs Containing Infrequent Behaviour -- Business Process Intelligence Challenge 2013 -- Enabling Workflow Composition within a Social Network Environment -- Towards A Meta-Model for Goal-Based Social BPM -- An experiment on the capture of business processes from knowledge workers -- ISEAsy: a social business process management platform -- Towards a Reference Implementation for Data Centric Dynamic Systems -- Synthesizing Object-Centric Models from Business Process Models -- Activity-centric and Artifact-centric Process Model Round trip -- Automatic Generation of Business Process Models based on Attribute Relationship Diagrams -- Enriching Business Process Models with Decision Rules -- Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-Occurring Past Behavior -- Constructing Decision Trees from Process Logs for Performer Recommendation -- An Exploratory Approach for Understanding Customer Behavior Processes Based on Clustering and Sequence Mining -- The Design of a Workflow Recommendation System for Workflow as a Service in the Cloud -- Business Process Assignment and Execution from Cloud to Mobile -- Monitoring of Business Processes with Complex Event Processing -- Bringing Semantics to Aspect-Oriented Business Process Management -- Towards the Enhancement of Business Process Monitoring for Complex Logistics Chains -- Investigating Service Behavior Variance in Port Logistics from a Process Perspective -- A Petri Net Approach for Green Supply Chain Network Modeling and Performance Analysis -- Towards a DSL-based approach for specifying and monitoring home care plans -- Urban Congestion: Arrangement of Aamriw intersection in Bejaia's city -- Supply Chain Uncertainty under ARIMA Demand Process -- Methods for Evaluating Process Model Search -- Decomposition and Hierarchization of EPCs: A Case Study -- Process Model Fragmentization, Clustering and Merging: An Empirical Study -- Towards Measuring Process Model Granularity via Natural Language Analysis -- Automatic Extraction of Process Categories from Process Model Collections -- The Process Model Matching Contest 2013 -- Keynote: Specification and Conflict Detection for GTRBAC in Multi-domain Environment -- Multi-dimensional Secure Service Orchestration -- Explication of Termination Semantics as a Security-Relevant Feature in Business Process Modeling Languages -- Supporting Domain Experts to Select and Configure Precise Compliance Rules -- A Framework for the Privacy Access Control Model -- Role-based Access Control for Securing Dynamically Created Documents -- Towards Enhancing Business Process Monitoring with Sonification -- A Navigation Metaphor to Support Mobile Workflow Systems -- Evaluating KIPN for Modeling KIP.
Record Nr. UNINA-9910298562003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Web Services and Formal Methods [[electronic resource] ] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / / edited by Maurice H. ter Beek, Niels Lohmann
Web Services and Formal Methods [[electronic resource] ] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / / edited by Maurice H. ter Beek, Niels Lohmann
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (X, 151 p. 55 illus.)
Disciplina 005.7
Collana Programming and Software Engineering
Soggetto topico Application software
Software engineering
Management information systems
Computer science
Computer logic
Programming languages (Electronic computers)
User interfaces (Computer systems)
Information Systems Applications (incl. Internet)
Software Engineering
Management of Computing and Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
User Interfaces and Human Computer Interaction
ISBN 3-642-38230-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466301703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / / edited by Maurice H. ter Beek, Niels Lohmann
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / / edited by Maurice H. ter Beek, Niels Lohmann
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (X, 151 p. 55 illus.)
Disciplina 005.7
Collana Programming and Software Engineering
Soggetto topico Application software
Software engineering
Management information systems
Computer science
Computer logic
Programming languages (Electronic computers)
User interfaces (Computer systems)
Information Systems Applications (incl. Internet)
Software Engineering
Management of Computing and Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
User Interfaces and Human Computer Interaction
ISBN 3-642-38230-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910483104703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui