Application and Theory of Petri Nets [[electronic resource] ] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / / edited by Serge Haddad, Lucia Pomello |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XI, 419 p. 139 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science |
ISBN | 3-642-31131-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465524903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Distributed systems [[electronic resource] ] : design and algorithms / / edited by Serge Haddad ... [et al.] |
Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, 2011 |
Descrizione fisica | 1 online resource (336 p.) |
Disciplina |
004.33
621.38 |
Altri autori (Persone) | HaddadSerge |
Collana | ISTE |
Soggetto topico |
Electronic data processing - Distributed processing
Peer-to-peer architecture (Computer networks) Computer algorithms Embedded computer systems Real-time data processing |
ISBN |
1-118-60136-X
1-299-19256-4 1-118-60146-7 1-118-60139-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Large scale peer-to-peer distributed systems -- pt. 2. Distributed, embedded and real-time systems -- pt. 3. Security in distributed systems. |
Record Nr. | UNINA-9910141480403321 |
Hoboken, N.J., : John Wiley & Sons, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed systems [[electronic resource] ] : design and algorithms / / edited by Serge Haddad ... [et al.] |
Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, 2011 |
Descrizione fisica | 1 online resource (336 p.) |
Disciplina |
004.33
621.38 |
Altri autori (Persone) | HaddadSerge |
Collana | ISTE |
Soggetto topico |
Electronic data processing - Distributed processing
Peer-to-peer architecture (Computer networks) Computer algorithms Embedded computer systems Real-time data processing |
ISBN |
1-118-60136-X
1-299-19256-4 1-118-60146-7 1-118-60139-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Large scale peer-to-peer distributed systems -- pt. 2. Distributed, embedded and real-time systems -- pt. 3. Security in distributed systems. |
Record Nr. | UNINA-9910831046603321 |
Hoboken, N.J., : John Wiley & Sons, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed systems [[electronic resource] ] : design and algorithms / / edited by Serge Haddad ... [et al.] |
Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, 2011 |
Descrizione fisica | 1 online resource (336 p.) |
Disciplina |
004.33
621.38 |
Altri autori (Persone) | HaddadSerge |
Collana | ISTE |
Soggetto topico |
Electronic data processing - Distributed processing
Peer-to-peer architecture (Computer networks) Computer algorithms Embedded computer systems Real-time data processing |
ISBN |
1-118-60136-X
1-299-19256-4 1-118-60146-7 1-118-60139-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Large scale peer-to-peer distributed systems -- pt. 2. Distributed, embedded and real-time systems -- pt. 3. Security in distributed systems. |
Record Nr. | UNINA-9910841475703321 |
Hoboken, N.J., : John Wiley & Sons, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.] |
Pubbl/distr/stampa | London, : ISTE |
Descrizione fisica | 1 online resource (358 p.) |
Disciplina | 003.78 |
Altri autori (Persone) | HaddadSerge |
Collana | ISTE |
Soggetto topico |
Distributed parameter systems - Simulation methods
System analysis |
ISBN |
1-118-60263-3
1-118-60268-4 1-118-60269-2 1-299-18771-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. |
Record Nr. | UNINA-9910138864203321 |
London, : ISTE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.] |
Pubbl/distr/stampa | London, : ISTE |
Descrizione fisica | 1 online resource (358 p.) |
Disciplina | 003.78 |
Altri autori (Persone) | HaddadSerge |
Collana | ISTE |
Soggetto topico |
Distributed parameter systems - Simulation methods
System analysis |
ISBN |
1-118-60263-3
1-118-60268-4 1-118-60269-2 1-299-18771-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. |
Record Nr. | UNINA-9910830154503321 |
London, : ISTE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.] |
Pubbl/distr/stampa | London, : ISTE |
Descrizione fisica | 1 online resource (358 p.) |
Disciplina | 003.78 |
Altri autori (Persone) | HaddadSerge |
Collana | ISTE |
Soggetto topico |
Distributed parameter systems - Simulation methods
System analysis |
ISBN |
1-118-60263-3
1-118-60268-4 1-118-60269-2 1-299-18771-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. |
Record Nr. | UNINA-9910841889703321 |
London, : ISTE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on Petri Nets and Other Models of Concurrency IX [[electronic resource] /] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIII, 179 p. 84 illus.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-662-45730-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service and Agent Perspective -- Modeling Organizational Structures and Agent Knowledge for Mulan Applications -- A Canonical Contraction for Safe Petri Nets -- Symbolic Termination and Confluence Checking for ECA Rules -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction. |
Record Nr. | UNINA-9910484597703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on Petri Nets and Other Models of Concurrency IX [[electronic resource] /] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIII, 179 p. 84 illus.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-662-45730-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service and Agent Perspective -- Modeling Organizational Structures and Agent Knowledge for Mulan Applications -- A Canonical Contraction for Safe Petri Nets -- Symbolic Termination and Confluence Checking for ECA Rules -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction. |
Record Nr. | UNISA-996211261603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on Petri Nets and Other Models of Concurrency X [[electronic resource] /] / edited by Maciej Koutny, Jörg Desel, Serge Haddad |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XV, 177 p. 41 illus. in color.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-662-48650-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification of Logs - Revealing Faulty Processes of a Medical Laboratory -- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model -- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling -- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP). |
Record Nr. | UNINA-9910483769203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|