Coordination Models and Languages [[electronic resource] ] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by David Clarke, Gul Agha |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 183 p. 50 illus.) |
Disciplina | 005.27 |
Collana | Programming and Software Engineering |
Soggetto topico |
Architecture, Computer
Software engineering Computer communication systems Computer programming Computers Computer System Implementation Software Engineering/Programming and Operating Systems Computer Communication Networks Software Engineering Programming Techniques Models and Principles |
ISBN |
1-280-38689-4
9786613564818 3-642-13414-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection. |
Record Nr. | UNISA-996465858503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by David Clarke, Gul Agha |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 183 p. 50 illus.) |
Disciplina | 005.27 |
Collana | Programming and Software Engineering |
Soggetto topico |
Architecture, Computer
Software engineering Computer communication systems Computer programming Computers Computer System Implementation Software Engineering/Programming and Operating Systems Computer Communication Networks Software Engineering Programming Techniques Models and Principles |
ISBN |
1-280-38689-4
9786613564818 3-642-13414-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection. |
Record Nr. | UNINA-9910484568803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed Applications and Interoperable Systems : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by Frank Eliassen, Rüdiger Kapitza |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIV, 243 p. 98 illus.) |
Disciplina | 005.276 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer communication systems
Software engineering Application software User interfaces (Computer systems) Information storage and retrieval Computer software—Reusability Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Information Storage and Retrieval Performance and Reliability |
ISBN |
1-280-38716-5
9786613565082 3-642-13645-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ubiquitous Services and Applications -- RESTful Integration of Heterogeneous Devices in Pervasive Environments -- Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems -- Grid Computing -- Validating Evolutionary Algorithms on Volunteer Computing Grids -- A Reconfiguration Language for Virtualized Grid Infrastructures -- Sensor Networks -- Distributed Object-Oriented Programming with RFID Technology -- WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet -- Context Awareness -- Structured Context Prediction: A Generic Approach -- Service Orientation -- Experiments in Model Driven Composition of User Interfaces -- Service Discovery in Ubiquitous Feedback Control Loops -- Distributed Fault Tolerant Controllers -- QoS Self-configuring Failure Detectors for Distributed Systems -- Distributed Fault Tolerant Controllers -- Cloud and Cluster Computing -- Automatic Software Deployment in the Azure Cloud -- G2CL: A Generic Group Communication Layer for Clustered Applications -- Adaptive and (Re)configurable Systems -- Dynamic Composition of Cross-Organizational Features in Distributed Software Systems -- Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices -- Collaborative Systems -- gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay -- Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search. |
Altri titoli varianti | DAIS'10 |
Record Nr. | UNINA-9910484020103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed Applications and Interoperable Systems : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by Frank Eliassen, Rüdiger Kapitza |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIV, 243 p. 98 illus.) |
Disciplina | 005.276 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer communication systems
Software engineering Application software User interfaces (Computer systems) Information storage and retrieval Computer software—Reusability Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Information Storage and Retrieval Performance and Reliability |
ISBN |
1-280-38716-5
9786613565082 3-642-13645-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ubiquitous Services and Applications -- RESTful Integration of Heterogeneous Devices in Pervasive Environments -- Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems -- Grid Computing -- Validating Evolutionary Algorithms on Volunteer Computing Grids -- A Reconfiguration Language for Virtualized Grid Infrastructures -- Sensor Networks -- Distributed Object-Oriented Programming with RFID Technology -- WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet -- Context Awareness -- Structured Context Prediction: A Generic Approach -- Service Orientation -- Experiments in Model Driven Composition of User Interfaces -- Service Discovery in Ubiquitous Feedback Control Loops -- Distributed Fault Tolerant Controllers -- QoS Self-configuring Failure Detectors for Distributed Systems -- Distributed Fault Tolerant Controllers -- Cloud and Cluster Computing -- Automatic Software Deployment in the Azure Cloud -- G2CL: A Generic Group Communication Layer for Clustered Applications -- Adaptive and (Re)configurable Systems -- Dynamic Composition of Cross-Organizational Features in Distributed Software Systems -- Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices -- Collaborative Systems -- gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay -- Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search. |
Altri titoli varianti | DAIS'10 |
Record Nr. | UNISA-996465897803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques for Distributed Systems [[electronic resource] ] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by John Hatcliff, Elena Zucca |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XII, 233 p. 40 illus.) |
Disciplina | 004.36 |
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 |
1-280-38692-4
9786613564849 3-642-13464-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Formal Software Verification: How Close Are We? -- Formal UML Modeling -- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning -- Reactive Semantics for Distributed UML Activities -- Components and Architecture -- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems -- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude -- Testing Probabilistic Distributed Systems -- Specification and Testing of E-Commerce Agents Described by Using UIOLTSs -- Testing Attribute-Based Transactions in SOC -- Joint DisCoTec Session -- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory -- Timed Process Algebra -- Forgetting the Time in Timed Process Algebra -- Theory and Implementation of a Real-Time Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid Systems Using Shallow Synchronization -- Program Logics and Analysis -- Heap-Dependent Expressions in Separation Logic -- Static Type Analysis of Pattern Matching by Abstract Interpretation -- Reasoning about Distributed Systems -- On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols -- On Efficient Models for Model Checking Message-Passing Distributed Protocols -- Logics for Contravariant Simulations. |
Record Nr. | UNISA-996465598503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by John Hatcliff, Elena Zucca |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XII, 233 p. 40 illus.) |
Disciplina | 004.36 |
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 |
1-280-38692-4
9786613564849 3-642-13464-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Formal Software Verification: How Close Are We? -- Formal UML Modeling -- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning -- Reactive Semantics for Distributed UML Activities -- Components and Architecture -- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems -- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude -- Testing Probabilistic Distributed Systems -- Specification and Testing of E-Commerce Agents Described by Using UIOLTSs -- Testing Attribute-Based Transactions in SOC -- Joint DisCoTec Session -- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory -- Timed Process Algebra -- Forgetting the Time in Timed Process Algebra -- Theory and Implementation of a Real-Time Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid Systems Using Shallow Synchronization -- Program Logics and Analysis -- Heap-Dependent Expressions in Separation Logic -- Static Type Analysis of Pattern Matching by Abstract Interpretation -- Reasoning about Distributed Systems -- On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols -- On Efficient Models for Model Checking Message-Passing Distributed Protocols -- Logics for Contravariant Simulations. |
Record Nr. | UNINA-9910484651403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|