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.
Business Process Management [[electronic resource] ] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings / / edited by Richard Hull, Jan Mendling, Stefan Tai
| Business Process Management [[electronic resource] ] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings / / edited by Richard Hull, Jan Mendling, Stefan Tai |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 359 p. 140 illus.) |
| Disciplina | 658.500285 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Algorithms Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38881-1
9786613566737 3-642-15618-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management with SLAs and Events -- Warning: Don’t Assume Your Business Processes Use Master Data -- BPM in Practice -- IT Requirements of Business Process Management in Practice – An Empirical Study -- How Novices Model Business Processes -- BPM in Practice: Who Is Doing What? -- Correctness -- How to Implement a Theory of Correctness in the Area of Business Processes and Services -- Deciding Behaviour Compatibility of Complex Correspondences between Process Models -- Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis -- Design -- Impact of Granularity on Adjustment Behavior in Adaptive Reuse of Business Process Models -- Machine-Assisted Design of Business Process Models Using Descriptor Space Analysis -- From Informal Process Diagrams to Formal Process Models -- Distributed Processes -- Value-Oriented Coordination Process Modeling -- Coordination for Fragmented Loops and Scopes in a Distributed Business Process -- PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution -- Mining -- A Fresh Look at Precision in Process Conformance -- Trace Alignment in Process Mining: Opportunities for Process Diagnostics -- Content-Aware Resolution Sequence Mining for Ticket Routing -- Semantics -- Symbolic Execution of Acyclic Workflow Graphs -- Structuring Acyclic Process Models -- A New Semantics for the Inclusive Converging Gateway in Safe Processes -- Processes and People -- From People to Services to UI: Distributed Orchestration of User Interfaces -- Self-adjusting Recommendations for People-Driven Ad-Hoc Processes -- A Collaborative Approach to Maturing Process-Related Knowledge. |
| Record Nr. | UNISA-996465944203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings / / edited by Richard Hull, Jan Mendling, Stefan Tai
| Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings / / edited by Richard Hull, Jan Mendling, Stefan Tai |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 359 p. 140 illus.) |
| Disciplina | 658.500285 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Algorithms Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38881-1
9786613566737 3-642-15618-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management with SLAs and Events -- Warning: Don’t Assume Your Business Processes Use Master Data -- BPM in Practice -- IT Requirements of Business Process Management in Practice – An Empirical Study -- How Novices Model Business Processes -- BPM in Practice: Who Is Doing What? -- Correctness -- How to Implement a Theory of Correctness in the Area of Business Processes and Services -- Deciding Behaviour Compatibility of Complex Correspondences between Process Models -- Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis -- Design -- Impact of Granularity on Adjustment Behavior in Adaptive Reuse of Business Process Models -- Machine-Assisted Design of Business Process Models Using Descriptor Space Analysis -- From Informal Process Diagrams to Formal Process Models -- Distributed Processes -- Value-Oriented Coordination Process Modeling -- Coordination for Fragmented Loops and Scopes in a Distributed Business Process -- PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution -- Mining -- A Fresh Look at Precision in Process Conformance -- Trace Alignment in Process Mining: Opportunities for Process Diagnostics -- Content-Aware Resolution Sequence Mining for Ticket Routing -- Semantics -- Symbolic Execution of Acyclic Workflow Graphs -- Structuring Acyclic Process Models -- A New Semantics for the Inclusive Converging Gateway in Safe Processes -- Processes and People -- From People to Services to UI: Distributed Orchestration of User Interfaces -- Self-adjusting Recommendations for People-Driven Ad-Hoc Processes -- A Collaborative Approach to Maturing Process-Related Knowledge. |
| Record Nr. | UNINA-9910483523003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cloud Service Benchmarking : Measuring Quality of Cloud Services from a Client Perspective / / by David Bermbach, Erik Wittern, Stefan Tai
| Cloud Service Benchmarking : Measuring Quality of Cloud Services from a Client Perspective / / by David Bermbach, Erik Wittern, Stefan Tai |
| Autore | Bermbach David |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 167 p. 25 illus., 11 illus. in color.) |
| Disciplina | 004.6782 |
| Soggetto topico |
Computer system failures
Software engineering Computer communication systems System Performance and Evaluation Software Engineering Computer Communication Networks |
| ISBN | 3-319-55483-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Fundamentals -- Chapter 1: Benchmarking -- Chapter 2: The Cloud -- Chapter 3: Quality -- Chapter 4: Motivations -- Part II: Benchmark Design -- Chapter 5: Design Objectives -- Chapter 6: Quality Metrics -- Chapter 7: Measurement Methods -- Chapter 8: Workloads -- Part III: Benchmark Execution -- Chapter 9: Implementation Objectives -- Chapter 10: Experiment Setup -- Chapter 11: Experiment Runtime -- Part IV: Benchmark Results -- Chapter 12: Managing Data -- Chapter 13: Gaining Insights -- Chapter 14: Leveraging Results -- Part IV: Conclusions -- Chapter 15: Case Studies -- Chapter 16: Summary & Outlook -- References. |
| Record Nr. | UNINA-9910254823303321 |
Bermbach David
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering and Deployment of Cooperative Information Systems [[electronic resource] ] : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings / / edited by Yanbo Han, Stefan Tai, Dietmar Wikarski
| Engineering and Deployment of Cooperative Information Systems [[electronic resource] ] : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings / / edited by Yanbo Han, Stefan Tai, Dietmar Wikarski |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 570 p.) |
| Disciplina | 005.758 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Data structures (Computer science) Computer communication systems Computers Information technology Business—Data processing Artificial intelligence Software Engineering/Programming and Operating Systems Data Structures and Information Theory Computer Communication Networks Information Systems and Communication Service IT in Business Artificial Intelligence |
| ISBN | 3-540-45785-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workflows I -- A Data Warehouse for Workflow Logs -- Workflow and Knowledge Management: Approaching an Integration -- Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models -- Workflows II -- Discovering Workflow Performance Models from Timed Logs -- Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models -- An Agent Enhanced Framework to Support Pre-dispatching of Tasks in Workflow Management Systems -- Ontologies -- TEMPPLET: A New Method for Domain-Specific Ontology Design -- An Environment for Multi-domain Ontology Development and Knowledge Acquisition -- Applying Information Retrieval Technology to Incremental Knowledge Management -- Semantic Web -- Visualizing a Dynamic Knowledge Map Using Semantic Web Technology -- Indexing and Retrieval of XML-Encoded Structured Documents in Dynamic Environment -- Knowledge Management: System Architectures, Main Functions, and Implementing Techniques -- Enterprise Application Integration -- A Dynamic Matching and Binding Mechanism for Business Service Integration -- A Uniform Model for Authorization and Access Control in Enterprise Information Platform -- Constraints-Preserving Mapping Algorithm from XML-Schema to Relational Schema -- Mobile Agents -- Study on SOAP-Based Mobile Agent Techniques -- Securing Agent Based Architectures -- Service and Network Management Middleware for Cooperative Information Systems through Policies and Mobile Agents -- Enterprise Modeling -- Research on Enterprise Modeling of Agile Manufacturing -- HCM — A Model Describing Cooperation of Virtual Enterprise -- A Description for Services Supporting Cooperations -- Distributed Systems Analysis -- Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems -- A Linear-Order Based Access Method for Efficient Network Computations -- A Petri Net Model for Session Services -- Software Engineering -- Software Processes for Electronic Commerce Portal Systems -- Architecture Support for System-of-Systems Evolution -- Expressing Graphical User’s Input for Test Specifications -- Architectures -- An Intelligent Decision Support System in Construction Management by Data Warehousing Technique -- Distributed Heterogeneous Inspecting System and Its Implementation -- Architecture for Distributed Embedded Systems Based on Workflow and Distributed Resource Management -- Knowledge Management and the Control of Duplication -- Transactions -- An Execution and Transaction Model for Active, Rule-Based Component Integration Middleware -- Implementation of CovaTM -- Resource-Based Scripting to Stitch Distributed Components -- Coordination I -- Multi-agent Coordination Mechanism in Distributed Environment -- Coordination among Multi-agents Using Process Calculus and ECA Rule -- An RBAC Based Policy Enforcement Coordination Model in Internet Environment -- Coordination II -- A CORBA-Based Negotiation Strategy in E-Commerce -- Negotiation Framework for the Next Generation Mobile Middleware Service Environment -- Groupware I -- An Internet-Based Conference System for Real-Time Distributed Design Evaluation -- Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors -- Supporting Group Awareness in Web-Based Learning Environments -- Groupware II -- Raison d’Etre Object: A Cyber-Hearth That Catalyzes Face-to-Face Informal Communication -- The Neem Platform: An Extensible Framework for the Development of Perceptual Collaborative Applications. |
| Record Nr. | UNISA-996465512403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering and Deployment of Cooperative Information Systems : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings / / edited by Yanbo Han, Stefan Tai, Dietmar Wikarski
| Engineering and Deployment of Cooperative Information Systems : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings / / edited by Yanbo Han, Stefan Tai, Dietmar Wikarski |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 570 p.) |
| Disciplina | 005.758 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Data structures (Computer science) Computer communication systems Computers Information technology Business—Data processing Artificial intelligence Software Engineering/Programming and Operating Systems Data Structures and Information Theory Computer Communication Networks Information Systems and Communication Service IT in Business Artificial Intelligence |
| ISBN | 3-540-45785-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workflows I -- A Data Warehouse for Workflow Logs -- Workflow and Knowledge Management: Approaching an Integration -- Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models -- Workflows II -- Discovering Workflow Performance Models from Timed Logs -- Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models -- An Agent Enhanced Framework to Support Pre-dispatching of Tasks in Workflow Management Systems -- Ontologies -- TEMPPLET: A New Method for Domain-Specific Ontology Design -- An Environment for Multi-domain Ontology Development and Knowledge Acquisition -- Applying Information Retrieval Technology to Incremental Knowledge Management -- Semantic Web -- Visualizing a Dynamic Knowledge Map Using Semantic Web Technology -- Indexing and Retrieval of XML-Encoded Structured Documents in Dynamic Environment -- Knowledge Management: System Architectures, Main Functions, and Implementing Techniques -- Enterprise Application Integration -- A Dynamic Matching and Binding Mechanism for Business Service Integration -- A Uniform Model for Authorization and Access Control in Enterprise Information Platform -- Constraints-Preserving Mapping Algorithm from XML-Schema to Relational Schema -- Mobile Agents -- Study on SOAP-Based Mobile Agent Techniques -- Securing Agent Based Architectures -- Service and Network Management Middleware for Cooperative Information Systems through Policies and Mobile Agents -- Enterprise Modeling -- Research on Enterprise Modeling of Agile Manufacturing -- HCM — A Model Describing Cooperation of Virtual Enterprise -- A Description for Services Supporting Cooperations -- Distributed Systems Analysis -- Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems -- A Linear-Order Based Access Method for Efficient Network Computations -- A Petri Net Model for Session Services -- Software Engineering -- Software Processes for Electronic Commerce Portal Systems -- Architecture Support for System-of-Systems Evolution -- Expressing Graphical User’s Input for Test Specifications -- Architectures -- An Intelligent Decision Support System in Construction Management by Data Warehousing Technique -- Distributed Heterogeneous Inspecting System and Its Implementation -- Architecture for Distributed Embedded Systems Based on Workflow and Distributed Resource Management -- Knowledge Management and the Control of Duplication -- Transactions -- An Execution and Transaction Model for Active, Rule-Based Component Integration Middleware -- Implementation of CovaTM -- Resource-Based Scripting to Stitch Distributed Components -- Coordination I -- Multi-agent Coordination Mechanism in Distributed Environment -- Coordination among Multi-agents Using Process Calculus and ECA Rule -- An RBAC Based Policy Enforcement Coordination Model in Internet Environment -- Coordination II -- A CORBA-Based Negotiation Strategy in E-Commerce -- Negotiation Framework for the Next Generation Mobile Middleware Service Environment -- Groupware I -- An Internet-Based Conference System for Real-Time Distributed Design Evaluation -- Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors -- Supporting Group Awareness in Web-Based Learning Environments -- Groupware II -- Raison d’Etre Object: A Cyber-Hearth That Catalyzes Face-to-Face Informal Communication -- The Neem Platform: An Extensible Framework for the Development of Perceptual Collaborative Applications. |
| Record Nr. | UNINA-9910143891503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Distributed Objects [[electronic resource] ] : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / / edited by Wolfgang Emmerich, Stefan Tai
| Engineering Distributed Objects [[electronic resource] ] : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / / edited by Wolfgang Emmerich, Stefan Tai |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 276 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer programming Software engineering Operating systems (Computers) Programming languages (Electronic computers) Computer Communication Networks Programming Techniques Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45254-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Industry Presentation -- Application Integration with CORBA and XML -- Middleware Selection -- Middleware Selection -- A Key Technology Evaluation Case Study: Applying a New Middleware Architecture on the Enterprise Scale -- An Architecture Proposal for Enterprise Message Brokers -- Resource Management -- Resource Management -- The Importance of Resource Management in Engineering Distributed Objects -- Towards Designing Distributed Systems with ConDIL -- Architectural Reasoning -- Architectural Reasoning -- Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML -- Architectural Reflection Realising Software Architectures via Reflective Activities -- Using Model Checking to Detect Deadlocks in Distributed Object Systems -- Component Metadata for Software Engineering Tasks -- On Using Static Analysis in Distributed System Testing -- Distributed Communication -- Distributed Communication -- Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications -- Modeling with Filter Objects in Distributed Systems -- Advanced Transactions -- Advanced Transactions -- Integrating Notifications and Transactions: Concepts and X2TS Prototype -- Advanced Transactions in Enterprise JavaBeans -- Service Integration -- Service Integration -- Customizable Service Integration in Web-Enabled Environments -- Migrating and Specifying Services for Web Integration. |
| Record Nr. | UNISA-996465719003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Distributed Objects : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / / edited by Wolfgang Emmerich, Stefan Tai
| Engineering Distributed Objects : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / / edited by Wolfgang Emmerich, Stefan Tai |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 276 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer programming Software engineering Operating systems (Computers) Programming languages (Electronic computers) Computer Communication Networks Programming Techniques Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45254-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Industry Presentation -- Application Integration with CORBA and XML -- Middleware Selection -- Middleware Selection -- A Key Technology Evaluation Case Study: Applying a New Middleware Architecture on the Enterprise Scale -- An Architecture Proposal for Enterprise Message Brokers -- Resource Management -- Resource Management -- The Importance of Resource Management in Engineering Distributed Objects -- Towards Designing Distributed Systems with ConDIL -- Architectural Reasoning -- Architectural Reasoning -- Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML -- Architectural Reflection Realising Software Architectures via Reflective Activities -- Using Model Checking to Detect Deadlocks in Distributed Object Systems -- Component Metadata for Software Engineering Tasks -- On Using Static Analysis in Distributed System Testing -- Distributed Communication -- Distributed Communication -- Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications -- Modeling with Filter Objects in Distributed Systems -- Advanced Transactions -- Advanced Transactions -- Integrating Notifications and Transactions: Concepts and X2TS Prototype -- Advanced Transactions in Enterprise JavaBeans -- Service Integration -- Service Integration -- Customizable Service Integration in Web-Enabled Environments -- Migrating and Specifying Services for Web Integration. |
| Record Nr. | UNINA-9910143602503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||