2011 Ninth IEEE European Conference on Web Services |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
Disciplina | 025.04/2 |
Soggetto topico |
Web services
World Wide Web Web databases Electrical & Computer Engineering Engineering & Applied Sciences Telecommunications |
ISBN | 0-7695-4536-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | European Conference on Web Services |
Record Nr. | UNISA-996205877103316 |
[Place of publication not identified], : IEEE, 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2011 Ninth IEEE European Conference on Web Services |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
Disciplina | 025.04/2 |
Soggetto topico |
Web services
World Wide Web Web databases Electrical & Computer Engineering Engineering & Applied Sciences Telecommunications |
ISBN | 0-7695-4536-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | European Conference on Web Services |
Record Nr. | UNINA-9910619132803321 |
[Place of publication not identified], : IEEE, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
CONCUR 2009 - Concurrency Theory [[electronic resource] ] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings / / edited by Mario Bravetti, Gianluigi Zavattaro |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIII, 638 p.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer programming Computer science—Mathematics Computer Science Logic and Foundations of Programming Programming Techniques Theory of Computation Models of Computation Mathematics of Computing |
ISBN | 3-642-04081-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Perspectives on Transactional Memory -- The Effect of Tossing Coins in Omega-Automata -- Bigraphical Categories -- BlenX Static and Dynamic Semantics -- Contributed Papers -- Flow Policy Awareness for Distributed Mobile Code -- Volume and Entropy of Regular Timed Languages: Discretization Approach -- A Logical Interpretation of the ?-Calculus into the ?-Calculus, Preserving Spine Reduction and Types -- Encoding Asynchronous Interactions Using Open Petri Nets -- Distributed Asynchronous Automata -- Algebra for Infinite Forests with an Application to the Temporal Logic EF -- Deriving Syntax and Axioms for Quantitative Regular Behaviours -- Weighted Bisimulation in Linear Algebraic Form -- A Logic-Based Framework for Reasoning about Composite Data Structures -- Measuring Permissivity in Finite Games -- Contracts for Mobile Processes -- Power of Randomization in Automata on Infinite Strings -- Probabilistic Weighted Automata -- Partially-Commutative Context-Free Processes -- Testing Finitary Probabilistic Processes -- A Demonic Approach to Information in Probabilistic Systems -- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour -- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs -- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers -- Model-Checking Games for Fixpoint Logics with Partial Order Models -- Reachability in Succinct and Parametric One-Counter Automata -- Winning Regions of Pushdown Parity Games: A Saturation Method -- Concurrent Kleene Algebra -- Concavely-Priced Probabilistic Timed Automata -- Compositional Control Synthesis for Partially Observable Systems -- Howe’s Method for Calculi with Passivation -- On the Relationship between ?-Calculus and Finite Place/Transition Petri Nets -- Modeling Radio Networks -- Time-Bounded Verification -- Secure Enforcement for Global Process Specifications -- On Convergence of Concurrent Systems under Regular Interactions -- Computing Stuttering Simulations -- Weak Time Petri Nets Strike Back! -- A General Testability Theory -- Counterexamples in Probabilistic LTL Model Checking for Markov Chains -- Query-Based Model Checking of Ad Hoc Network Protocols -- Strict Divergence for Probabilistic Timed Automata. |
Record Nr. | UNISA-996465628903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination Models and Languages [[electronic resource] ] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings / / edited by Doug Lea, Gianluigi Zavattaro |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 350 p.) |
Disciplina | 004/.35 |
Collana | Programming and Software Engineering |
Soggetto topico |
Architecture, Computer
Software engineering Special purpose computers Computer programming Computers Artificial intelligence Computer System Implementation Software Engineering Special Purpose and Application-Based Systems Programming Techniques Computation by Abstract Devices Artificial Intelligence |
ISBN | 3-540-68265-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Coordination Model for Service-Oriented Interactions -- Implementing Session Centered Calculi -- Service Combinators for Farming Virtual Machines -- Timed Soft Concurrent Constraint Programs -- Multiparty Sessions in SOC -- Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs -- From Flow Logic to Static Type Systems for Coordination Languages -- Session Types for Orchestration Charts -- Implementing Joins Using Extensible Pattern Matching -- Advice for Coordination -- Modeling and Analysis of Reo Connectors Using Alloy -- Alternating-Time Stream Logic for Multi-agent Systems -- A Formal Account of WS-BPEL -- How to Infer Finite Session Types in a Calculus of Services and Sessions -- An Event-Based Coordination Model for Context-Aware Applications -- Formal Analysis of BPMN Via a Translation into COWS -- Encrypted Shared Data Spaces -- CiAN: A Workflow Engine for MANETs -- A Process Calculus for Mobile Ad Hoc Networks -- Actors with Multi-headed Message Receive Patterns -- A Compositional Trace Semantics for Orc. |
Record Nr. | UNISA-996465623503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination models and languages : 10th international conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings / / Doug Lea, Gianluigi Zavattaro (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
Descrizione fisica | 1 online resource (X, 350 p.) |
Disciplina | 004/.35 |
Altri autori (Persone) |
LeaDouglas
ZavattaroGianluigi |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico |
Parallel processing (Electronic computers)
Electronic data processing - Distributed processing |
ISBN | 3-540-68265-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Coordination Model for Service-Oriented Interactions -- Implementing Session Centered Calculi -- Service Combinators for Farming Virtual Machines -- Timed Soft Concurrent Constraint Programs -- Multiparty Sessions in SOC -- Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs -- From Flow Logic to Static Type Systems for Coordination Languages -- Session Types for Orchestration Charts -- Implementing Joins Using Extensible Pattern Matching -- Advice for Coordination -- Modeling and Analysis of Reo Connectors Using Alloy -- Alternating-Time Stream Logic for Multi-agent Systems -- A Formal Account of WS-BPEL -- How to Infer Finite Session Types in a Calculus of Services and Sessions -- An Event-Based Coordination Model for Context-Aware Applications -- Formal Analysis of BPMN Via a Translation into COWS -- Encrypted Shared Data Spaces -- CiAN: A Workflow Engine for MANETs -- A Process Calculus for Mobile Ad Hoc Networks -- Actors with Multi-headed Message Receive Patterns -- A Compositional Trace Semantics for Orc. |
Altri titoli varianti | COORDINATION 2008 |
Record Nr. | UNINA-9910484418203321 |
Berlin ; ; New York, : Springer, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Computational Systems Biology [[electronic resource] ] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 527 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Special purpose computers Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Communication Networks |
ISBN | 3-540-68894-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Lectures -- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for Systems and Synthetic Biology -- Process Algebras in Systems Biology -- The BlenX Language: A Tutorial -- BISCA Talks -- Cells in Silico: A Holistic Approach -- The Calculus of Looping Sequences -- Hybrid Systems and Biology -- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi -- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. |
Record Nr. | UNISA-996465616403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures / / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2008 |
Descrizione fisica | 1 online resource (X, 527 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
BernardoMarco
DeganoPierpaolo <1950-> ZavattaroGianluigi |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico |
Formal methods (Computer science)
Integrated circuits - Verification |
ISBN | 3-540-68894-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Lectures -- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for Systems and Synthetic Biology -- Process Algebras in Systems Biology -- The BlenX Language: A Tutorial -- BISCA Talks -- Cells in Silico: A Holistic Approach -- The Calculus of Looping Sequences -- Hybrid Systems and Biology -- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi -- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. |
Altri titoli varianti | SFM 2008 |
Record Nr. | UNINA-9910483251403321 |
Berlin ; ; New York, : Springer, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Open Object-Based Distributed Systems [[electronic resource] ] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / / edited by Martin Steffen, Gianluigi Zavattaro |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 326 p.) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer communication systems
Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Computer logic Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Semantics for UML-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming Information in RDF to Rewriting Logic -- Modeling- and Analysis Techniques for Web Services and Business Processes -- A Distributed Implementation of Mobile Nets as Mobile Agents -- Specification and Verification -- On Correctness of Dynamic Protocol Update -- Property-Driven Development of a Coordination Model for Distributed Simulations -- A Timing Analysis of AODV. |
Record Nr. | UNISA-996466062103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / / Martin Steffen, Gianluigi Zavattaro (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
Descrizione fisica | 1 online resource (X, 326 p.) |
Disciplina | 004.6 |
Altri autori (Persone) |
SteffenMartin
ZavattaroGianluigi |
Collana | Lecture notes in computer science |
Soggetto topico |
Electronic data processing - Distributed processing
Object-oriented programming (Computer science) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Semantics for UML-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming Information in RDF to Rewriting Logic -- Modeling- and Analysis Techniques for Web Services and Business Processes -- A Distributed Implementation of Mobile Nets as Mobile Agents -- Specification and Verification -- On Correctness of Dynamic Protocol Update -- Property-Driven Development of a Coordination Model for Distributed Simulations -- A Timing Analysis of AODV. |
Altri titoli varianti | FMOODS 2005 |
Record Nr. | UNINA-9910483180303321 |
Berlin ; ; New York, : Springer, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Web Services [[electronic resource] ] : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (VII, 341 p.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer engineering Computer programming Programming languages (Electronic computers) Application software Software Engineering/Programming and Operating Systems Computer Engineering Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) |
Soggetto genere / forma |
Bertinoro (2009)
Kongress. |
ISBN | 3-642-01918-8 |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Calculi for Service-Oriented Computing -- Service Interaction: Patterns, Formalization, and Analysis -- Synthesis and Composition of Web Services -- Fundamentals of Session Types -- Asynchronous Session Types: Exceptions and Multiparty Interactions -- Contract-Based Discovery and Adaptation of Web Services -- Contract-Based Discovery and Composition of Web Services -- Quantitative Analysis of Web Services Using SRMC. |
Record Nr. | UNISA-996466271103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|