| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000013599 |
|
|
Autore |
Luckhardt, Horst |
|
|
Titolo |
Extensional Godel functional interpretation : a consistency proof of classical analysis. / Horst Luckhardt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, 1973 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics ; 306 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Teoria della dimostrazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483854003321 |
|
|
Titolo |
Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings / / edited by Gustavo Alonso, Peter Dadam, Michael Rosemann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 418 p.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 4714 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
AlonsoGustavo |
DadamPeter |
RosemannMichael <1967-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Information storage and retrieval systems |
Application software |
User interfaces (Computer systems) |
Human-computer interaction |
Computers and civilization |
Electronic data processing - Management |
Business information services |
Information Storage and Retrieval |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
|
|
|
|
User Interfaces and Human Computer Interaction |
Computers and Society |
IT Operations |
IT in Business |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Business Process Maturity and Performance -- The Process-Oriented Organisation: A Holistic View Developing a Framework for Business Process Orientation Maturity -- Challenges in Business Performance Measurement: The Case of a Corporate IT Function -- On the Performance of Workflow Processes with Distributed Actors: Does Place Matter? -- Business Process Modeling -- What Makes Process Models Understandable? -- Modeling of Task-Based Authorization Constraints in BPMN -- BPMN: How Much Does It Cost? An Incremental Approach -- View-Based Process Visualization -- Case Studies -- BPM on Top of SOA: Experiences from the Financial Industry -- Matching Customer Processes with Business Processes of Banks: The Example of Small and Medium-Sized Enterprises as Bank Customers -- Workflow Management Systems + Swarm Intelligence = Dynamic Task Assignment for Emergency Management Applications -- Evaluating Peer-to-Peer for Loosely Coupled Business Collaboration: A Case Study -- Compliance and Change -- Modeling Control Objectives for Business Process Compliance -- Generation of Business Process Models for Object Life Cycle Compliance -- Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring -- Version Management in the Business Process Change Context -- Process Configuration and Execution -- BPELlight -- An Enactment-Engine Based on Use-Cases -- Requirements-Driven Design and Configuration Management of Business Processes -- SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model -- Formal Foundations of BPM -- Behavioral Constraints for Services -- Towards Formal Analysis of Artifact-Centric Business Process Models -- Local Enforceability in Interaction Petri Nets -- Modelling with History-Dependent Petri Nets -- Business Process Mining -- Fuzzy Mining –Adaptive Process Simplification Based on Multi-perspective Metrics -- Inducing Declarative Logic-Based Models from Labeled Traces -- Approaching Process Mining with Sequence Clustering: Experiments and Findings -- Process Mining Based on Regions of Languages -- Semantic Issues in BPM -- Extending Representational Analysis: BPMN User and Developer Perspectives -- Semantic Analysis of Flow Patterns in Business Process Modeling -- Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 5th International Conference on Business Process Management, BPM 2007, held in Brisbane, Australia, in September 2007. The 21 revised full papers, 1 industrial paper, and 8 short papers presented were carefully reviewed and selected from 152 submissions. The papers are organized in topical sections on business process maturity and performance, |
|
|
|
|
|
|
|
|
|
|
business process modeling, case studies, compliance and change, process configuration and execution, formal foundations of BPM, business process mining, and semantic issues in BPM. |
|
|
|
|
|
| |