Formal Techniques for Distributed Systems [[electronic resource] ] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings / / edited by Roberto Bruni, Juergen Dingel |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIV, 349 p. 56 illus., 16 illus. in color.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer communication systems
Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-642-21461-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465419203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Trustworthy Global Computing [[electronic resource] ] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / / edited by Roberto Bruni, Vladimiro Sassone |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 243 p. 54 illus.) |
Disciplina | 005.82 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Cryptography
Data encryption (Computer science) Computer networks Electronic data processing—Management Algorithms Software engineering Coding theory Information theory Cryptology Computer Communication Networks IT Operations Software Engineering Coding and Information Theory |
ISBN | 3-642-30065-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465393803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Trustworthy Global Computing [[electronic resource] ] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / / edited by Ugo Montanari, Donald Sannella, Roberto Bruni |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (X, 342 p.) |
Disciplina | 005.8 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer networks Computer programming Data protection Compilers (Computer programs) Software Engineering Computer Communication Networks Programming Techniques Data and Information Security Compilers and Interpreters |
ISBN | 3-540-75336-2 |
Classificazione |
DAT 252f
DAT 460f DAT 465f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | FP6 Project Overviews -- Project AEOLUS: An Overview -- MOBIUS: Mobility, Ubiquity, Security -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks -- Keynote Speakers -- Software of the Future Is the Future of Software? -- An Algorithmic Theory of Mobile Agents -- Types to Discipline Interactions -- Spatial-Behavioral Types, Distributed Services, and Resources -- Integration of a Security Type System into a Program Logic -- Calculi for Distributed Systems -- PRISMA: A Mobile Calculus with Parametric Synchronization -- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines -- A Typed Calculus for Querying Distributed XML Documents -- Flexible Modeling -- Verification of Model Transformations: A Case Study with BPEL -- A Fuzzy Approach for Negotiating Quality of Services -- Algorithms and Systems for Global Computing -- Scheduling to Maximize Participation -- On the Limits of Cache-Oblivious Matrix Transposition -- The KOA Remote Voting System: A Summary of Work to Date -- Security, Anonymity and Type Safety -- Security Types for Dynamic Web Data -- Anonymity Protocols as Noisy Channels -- A Framework for Automatically Checking Anonymity with ?CRL -- A Framework for Type Safe Exchange of Mobile Code. |
Record Nr. | UNISA-996465653703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Trustworthy Global Computing [[electronic resource] ] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / / edited by Ugo Montanari, Donald Sannella, Roberto Bruni |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (X, 342 p.) |
Disciplina | 005.8 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer networks Computer programming Data protection Compilers (Computer programs) Software Engineering Computer Communication Networks Programming Techniques Data and Information Security Compilers and Interpreters |
ISBN | 3-540-75336-2 |
Classificazione |
DAT 252f
DAT 460f DAT 465f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | FP6 Project Overviews -- Project AEOLUS: An Overview -- MOBIUS: Mobility, Ubiquity, Security -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks -- Keynote Speakers -- Software of the Future Is the Future of Software? -- An Algorithmic Theory of Mobile Agents -- Types to Discipline Interactions -- Spatial-Behavioral Types, Distributed Services, and Resources -- Integration of a Security Type System into a Program Logic -- Calculi for Distributed Systems -- PRISMA: A Mobile Calculus with Parametric Synchronization -- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines -- A Typed Calculus for Querying Distributed XML Documents -- Flexible Modeling -- Verification of Model Transformations: A Case Study with BPEL -- A Fuzzy Approach for Negotiating Quality of Services -- Algorithms and Systems for Global Computing -- Scheduling to Maximize Participation -- On the Limits of Cache-Oblivious Matrix Transposition -- The KOA Remote Voting System: A Summary of Work to Date -- Security, Anonymity and Type Safety -- Security Types for Dynamic Web Data -- Anonymity Protocols as Noisy Channels -- A Framework for Automatically Checking Anonymity with ?CRL -- A Framework for Type Safe Exchange of Mobile Code. |
Record Nr. | UNINA-9910483546003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Services and Formal Methods [[electronic resource] ] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / / edited by Roberto Bruni, Karsten Wolf |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 241 p.) |
Disciplina | 621.39 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer engineering
Computer communication systems Computers Application software Software engineering Computer logic Computer Engineering Computer Communication Networks Theory of Computation Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs |
ISBN | 3-642-01364-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the Expressive Power of Process Interruption and Compensation -- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets -- Contract Compliance and Choreography Conformance in the Presence of Message Queues -- Verification of Choreographies During Execution Using the Reactive Event Calculus -- RESTful Petri Net Execution -- Validation and Discovery of Non-deterministic Semantic e-Services -- Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis -- Refactoring Long Running Transactions -- On-The-Fly Model-Based Testing of Web Services with Jambition -- Towards a Formal Framework for Workflow Interoperability -- Security Types for Sessions and Pipelines -- Why Does My Service Have No Partners? -- Proof Techniques for Adapter Generation -- Efficient Controllability Analysis of Open Nets. |
Record Nr. | UNISA-996465986103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web Services and Formal Methods [[electronic resource] ] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / / edited by Roberto Bruni, Karsten Wolf |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 241 p.) |
Disciplina | 621.39 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer engineering
Computer communication systems Computers Application software Software engineering Computer logic Computer Engineering Computer Communication Networks Theory of Computation Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs |
ISBN | 3-642-01364-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the Expressive Power of Process Interruption and Compensation -- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets -- Contract Compliance and Choreography Conformance in the Presence of Message Queues -- Verification of Choreographies During Execution Using the Reactive Event Calculus -- RESTful Petri Net Execution -- Validation and Discovery of Non-deterministic Semantic e-Services -- Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis -- Refactoring Long Running Transactions -- On-The-Fly Model-Based Testing of Web Services with Jambition -- Towards a Formal Framework for Workflow Interoperability -- Security Types for Sessions and Pipelines -- Why Does My Service Have No Partners? -- Proof Techniques for Adapter Generation -- Efficient Controllability Analysis of Open Nets. |
Record Nr. | UNINA-9910483813903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|