2007 IEEE International Conference on Services Computing : (SCC 2007) : proceedings : Salt Lake City, Utah, USA, July 9-13, 2007 |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
Disciplina | 006.7 |
Soggetto topico |
Web services - Data processing
Information technology Business Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
ISBN | 1-5090-8768-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996202052703316 |
[Place of publication not identified], : IEEE Computer Society, 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2007 IEEE International Conference on Services Computing : (SCC 2007) : proceedings : Salt Lake City, Utah, USA, July 9-13, 2007 |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
Disciplina | 006.7 |
Soggetto topico |
Web services - Data processing
Information technology Business Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
ISBN | 1-5090-8768-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910142713503321 |
[Place of publication not identified], : IEEE Computer Society, 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Analysis of images, social networks and texts : 9th international conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, revised selected papers / / edited by Wil M. P. van der Aalst [and fourteen others] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (480 pages) |
Disciplina | 006.31 |
Collana | Lecture Notes in Computer Science Ser. |
Soggetto topico | Machine learning |
ISBN | 3-030-72610-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464414703316 |
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / / edited by Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (480 pages) |
Disciplina | 006.31 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Data mining
Machine learning Natural language processing (Computer science) Database management Algorithms Data Mining and Knowledge Discovery Machine Learning Natural Language Processing (NLP) Database Management Design and Analysis of Algorithms Mineria de dades Processament d'imatges Processament digital d'imatges |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 3-030-72610-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Making ML Models Fairer through Explanations: the Case of LimeOut -- RuREBus: a Case Study of Joint Named Entity Recognition and Relation Extraction from e-Government Domain -- On Interpretability and Similarity in Concept-Based Machine Learning -- Natural Language Processing -- DaNetQA: a yes/no Question Answering Dataset for the Russian Language -- Do Topics Make a Metaphor? Topic Modeling for Metaphor Identification and Analysis in Russian -- Metagraph-Based Approach for Neural Text Question Generation -- Abstractive Summarization of Russian News Learning on Quality Media -- RST Discourse Parser for Russian: an Experimental Study of Deep Learning Models -- A Comparative Study of Feature Types for Age-Based Text Classification -- Emotion Classification in Russian: Feature Engineering and Analysis -- Generating Sport Summaries: A Case Study for Russian -- Automatic Generation of Annotated Collection for Recognition of Sentiment Frames -- ELMo and BERT in Semantic Change Detection for Russian -- BERT for Sequence-to-Sequence Multi-Label Text Classification -- Computer Vision -- Deep Learning on Point Clouds for False Positive Reduction at Nodule Detection in Chest CT Scans -- Identifying User Interests and Habits Using Object Detection and Semantic Segmentation Models -- Semi-Automatic Manga Colorization Using Conditional Adversarial Networks -- Automated Image and Video Quality Assessment for Computational Video Editing -- An Ensemble-based Classifier of Photographs of Commercial Buildings Facades -- Social Network Analysis -- Linking Friends in Social Networks using HashTag Attributes -- Emotional Analysis of Russian Texts Using Emojis in Social Networks -- Community Detection Based on the Nodes Role in a Network: the Telegram Platform Case -- Study Of Strategies For Disseminating Information In Social Networks Using Simulation Tools -- Data Analysis and Machine Learning -- Advanced Data Recognition Technique for Real-Time and Monitoring Systems -- Human Action Recognition for Boxing Training Simulator -- Bayesian Filtering in a Latent Space to Predict Bank Net Income from Acquiring -- Gradient-Based Adversarial Attacks on Categorical Sequence Models via Traversing an Embedded World -- Russia on the Global Artificial Intelligence Scene -- New Properties Of The Data Distillation Method When Working With Tabular Data -- Unsupervised Anomaly Detection for Semi-Structured Sequence Healthcare Data -- Theoretical Machine Learning and Optimization -- Lower Bound Polynomial Fast Procedure for the Resource-Constrained Project Scheduling Problem Tested on PSPLIB Instances -- Fast Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks -- Process Mining -- Checking Conformance between Colored Petri Nets and Event Logs -- Data and Reference Semantic-Based Simulator of DB-nets with the Use of Renew Tool. . |
Record Nr. | UNINA-9910484903503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Germany : , : Springer, , [2003] |
Descrizione fisica | 1 online resource (517 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Petri nets |
ISBN | 3-540-44919-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Coloured Petri Nets: Status and Outlook -- Towards Biopathway Modeling and Simulation -- The Resource Allocation Problem in Flexible Manufacturing Systems -- Colored GSPN Models for the QoS Design of Internet Subnets -- Compositional Theories of Qualitative and Quantitative Behaviour -- Net Models Supporting Human and Humane Behaviors -- Full Papers -- Deciding Life-Cycle Inheritance on Petri Nets -- Nets Enriched over Closed Monoidal Structures -- Automatic Symmetry Detection in Well-Formed Nets -- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols -- Modelling Mobility and Mobile Agents Using Nets within Nets -- Modular System Development with Pullbacks -- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets -- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers -- Model Checking Safety Properties in Modular High-Level Nets -- On Reachability in Autonomous Continuous Petri Net Systems -- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems -- Coloured Petri Nets in Development of a Pervasive Health Care System -- Logical Reasoning and Petri Nets -- Reactive Petri Nets for Workflow Modeling -- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets -- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach -- On Synchronicity and Concurrency in Petri Nets -- Analysing Properties of the Resource Reservation Protocol -- Hierarchical Timed High Level Nets and Their Branching Processes -- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets -- Tool Papers -- PLC Programming with Signal Interpreted Petri Nets -- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets -- The Model-Checking Kit -- Prototyping Object Oriented Specifications -- PNML Paper -- The Petri Net Markup Language: Concepts, Technology, and Tools. |
Record Nr. | UNINA-9910143870403321 |
Germany : , : Springer, , [2003] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Germany : , : Springer, , [2003] |
Descrizione fisica | 1 online resource (517 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Petri nets |
ISBN | 3-540-44919-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Coloured Petri Nets: Status and Outlook -- Towards Biopathway Modeling and Simulation -- The Resource Allocation Problem in Flexible Manufacturing Systems -- Colored GSPN Models for the QoS Design of Internet Subnets -- Compositional Theories of Qualitative and Quantitative Behaviour -- Net Models Supporting Human and Humane Behaviors -- Full Papers -- Deciding Life-Cycle Inheritance on Petri Nets -- Nets Enriched over Closed Monoidal Structures -- Automatic Symmetry Detection in Well-Formed Nets -- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols -- Modelling Mobility and Mobile Agents Using Nets within Nets -- Modular System Development with Pullbacks -- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets -- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers -- Model Checking Safety Properties in Modular High-Level Nets -- On Reachability in Autonomous Continuous Petri Net Systems -- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems -- Coloured Petri Nets in Development of a Pervasive Health Care System -- Logical Reasoning and Petri Nets -- Reactive Petri Nets for Workflow Modeling -- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets -- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach -- On Synchronicity and Concurrency in Petri Nets -- Analysing Properties of the Resource Reservation Protocol -- Hierarchical Timed High Level Nets and Their Branching Processes -- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets -- Tool Papers -- PLC Programming with Signal Interpreted Petri Nets -- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets -- The Model-Checking Kit -- Prototyping Object Oriented Specifications -- PNML Paper -- The Petri Net Markup Language: Concepts, Technology, and Tools. |
Record Nr. | UNISA-996465773903316 |
Germany : , : Springer, , [2003] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management [[electronic resource] ] : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 396 p.) |
Disciplina | 658.5 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Business mathematics
Leadership Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Business Mathematics Business Strategy/Leadership Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
ISBN | 3-540-44895-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Business Process Management: A Survey -- Full Papers -- Workflow: A Language for Composing Web Services -- Mining Most Specific Workflow Models from Event-Based Data -- Evaluation of Correctness Criteria for Dynamic Workflow Changes -- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders -- Structuring Business Objectives: A Business Process Modeling Perspective -- Use Cases as Workflows -- A Model to Support Collaborative Work in Virtual Enterprises -- Towards a Library for Process Programming -- Generating a Process Model from a Process Audit Log -- Contracting Workflows and Protocol Patterns -- Security in Business Process Engineering -- Query Nets: Interacting Workflow Modules That Ensure Global Termination -- Generic Recurrent Patterns in Business Processes -- Personal Schedules for Workflow Systems -- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net -- Pattern Based Workflow Design Using Reference Nets -- A Model for Process Service Interaction -- Exception Handling in the BPEL4WS Language -- Ratios to Support the Exploration of Business Process Models -- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications -- Undo in Workflow Management Systems -- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling -- A Case-Based Framework for Workflow Model Management -- Tool Papers -- ADEPT Workflow Management System -- Modelling and Validation with VipTool. |
Record Nr. | UNINA-9910143870603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management [[electronic resource] ] : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 396 p.) |
Disciplina | 658.5 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Business mathematics
Leadership Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Business Mathematics Business Strategy/Leadership Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
ISBN | 3-540-44895-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Business Process Management: A Survey -- Full Papers -- Workflow: A Language for Composing Web Services -- Mining Most Specific Workflow Models from Event-Based Data -- Evaluation of Correctness Criteria for Dynamic Workflow Changes -- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders -- Structuring Business Objectives: A Business Process Modeling Perspective -- Use Cases as Workflows -- A Model to Support Collaborative Work in Virtual Enterprises -- Towards a Library for Process Programming -- Generating a Process Model from a Process Audit Log -- Contracting Workflows and Protocol Patterns -- Security in Business Process Engineering -- Query Nets: Interacting Workflow Modules That Ensure Global Termination -- Generic Recurrent Patterns in Business Processes -- Personal Schedules for Workflow Systems -- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net -- Pattern Based Workflow Design Using Reference Nets -- A Model for Process Service Interaction -- Exception Handling in the BPEL4WS Language -- Ratios to Support the Exploration of Business Process Models -- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications -- Undo in Workflow Management Systems -- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling -- A Case-Based Framework for Workflow Model Management -- Tool Papers -- ADEPT Workflow Management System -- Modelling and Validation with VipTool. |
Record Nr. | UNISA-996465774203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Internet of Production : Fundamentals, Applications and Proceedings / / edited by Christian Brecher [and five others] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing, , 2023 |
Descrizione fisica | 1 online resource : illustrations |
Disciplina | 302.2 |
Soggetto topico | Internet - Social aspects |
ISBN | 3-030-98062-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910717414003321 |
Cham : , : Springer International Publishing, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
Descrizione fisica | 1 online resource (427 p.) |
Disciplina | 005.10285 |
Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
Record Nr. | UNINA-9910143572503321 |
Hoboken, N.J., : Wiley-Interscience, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|