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.
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 395 p. 155 illus.) |
| Disciplina | 004.24015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-07734-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications. |
| Record Nr. | UNISA-996199996303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler
| Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 395 p. 155 illus.) |
| Disciplina | 004.24015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-07734-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications. |
| Record Nr. | UNINA-9910484369103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Behavior Modeling -- Foundations and Applications [[electronic resource] ] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth
| Behavior Modeling -- Foundations and Applications [[electronic resource] ] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 279 p. 101 illus.) |
| Disciplina | 004.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer simulation Computers User interfaces (Computer systems) Software engineering Information Systems Applications (incl. Internet) Simulation and Modeling Theory of Computation User Interfaces and Human Computer Interaction Software Engineering |
| ISBN | 3-319-21912-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Practices -- Business Modelling: Understandable Patterns, Practices, and Tools -- Standards in Behaviour Modelling -- Modeling Behavior with Interaction Diagrams in a UML and OCL Tool -- A Set of Metrics of Non-locality Complexity in UML State Machines -- A Customizable Execution Engine for Models of Embedded Systems -- New Ways of Behaviour Modelling: Events in Modelling Programming Animation Using Behavioral Programming -- The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse -- New Ways of Behaviour Modelling: Protocol Modelling -- Protocol Modelling: A Modelling Approach that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context -- Decision Modules in Models and Implementations -- Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol Models. |
| Record Nr. | UNISA-996215645003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Behavior Modeling -- Foundations and Applications : International Workshops, BM-FA 2009-2014, Revised Selected Papers / / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth
| Behavior Modeling -- Foundations and Applications : International Workshops, BM-FA 2009-2014, Revised Selected Papers / / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 279 p. 101 illus.) |
| Disciplina | 004.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer simulation Computers User interfaces (Computer systems) Software engineering Information Systems Applications (incl. Internet) Simulation and Modeling Theory of Computation User Interfaces and Human Computer Interaction Software Engineering |
| ISBN | 3-319-21912-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Practices -- Business Modelling: Understandable Patterns, Practices, and Tools -- Standards in Behaviour Modelling -- Modeling Behavior with Interaction Diagrams in a UML and OCL Tool -- A Set of Metrics of Non-locality Complexity in UML State Machines -- A Customizable Execution Engine for Models of Embedded Systems -- New Ways of Behaviour Modelling: Events in Modelling Programming Animation Using Behavioral Programming -- The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse -- New Ways of Behaviour Modelling: Protocol Modelling -- Protocol Modelling: A Modelling Approach that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context -- Decision Modules in Models and Implementations -- Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol Models. |
| Record Nr. | UNINA-9910484892803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings / / edited by Alistair Barros, Avigdor Gal, Ekkart Kindler
| Business Process Management [[electronic resource] ] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings / / edited by Alistair Barros, Avigdor Gal, Ekkart Kindler |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XV, 354 p. 128 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer logic Information technology Business—Data processing Software engineering Information storage and retrieval Computers and civilization Information Systems Applications (incl. Internet) Logics and Meanings of Programs IT in Business Software Engineering Information Storage and Retrieval Computers and Society |
| ISBN | 3-642-32885-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline -- From Calls to Events: Architecting Future BPM Systems -- Tying Process Model Quality to the Modeling Process: The Impact of Structuring, Movement, and Speed -- Capabilities and Levels of Maturity in IT-Based Case Management -- Business Process Architecture: Use and Correctness -- Aligning Event Logs and Declarative Process Models for Conformance Checking -- Context-Aware Compliance Checking -- Measuring Privacy Compliance Using Fitness Metrics -- Event-Driven Manufacturing Process Management Approach -- Process-Based Design and Integration of Wireless Sensor Network Applications -- Modeling Rewards and Incentive Mechanisms for Social BPM -- The Difficulty of Replacing an Inclusive OR-Join -- Automatic Information Flow Analysis of Business Process Models -- Managing and Tracing the Traversal of Process Clouds with Templates, Agendas and Artifacts -- A Generic Framework for Service-Based Business Process Elasticity in the Cloud -- A Business Process-Driven Approach for Requirements Dependency Analysis -- A Recommendation Algorithm to Capture End-Users’ Tacit Knowledge -- Defining Process Performance Indicators by Using Templates and Patterns -- Repairing Process Models to Reflect Reality -- FNet: An Index for Advanced Business Process Querying -- Where Did I Misbehave? Diagnostic Information in Compliance Checking -- Using Mapreduce to Scale Events Correlation Discovery for Business Processes Mining -- A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes -- Approximate Clone Detection in Repositories of Business Process Models -- Probabilistic Optimization of Semantic Process Model Matching -- Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models. |
| Record Nr. | UNISA-996465438903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modelling Foundations and Applications [[electronic resource] ] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings / / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos
| Modelling Foundations and Applications [[electronic resource] ] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings / / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIII, 446 p. 188 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-642-31491-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465530703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the fourth Workshop on Behaviour Modelling - Foundations and Applications
| Proceedings of the fourth Workshop on Behaviour Modelling - Foundations and Applications |
| Autore | Roubtsova Ella |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (46 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1187-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | BM-FA '12 the 4th Workshop on Behavioural Modelling - Foundations and Applications, Kgs. Lyngby, Denmark - July 03, 2012 |
| Record Nr. | UNINA-9910376312203321 |
Roubtsova Ella
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||