Meer over de auteurs

John Hatcliff, Elena Zucca

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Author: John Hatcliff

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

Paperback Engels 2010 2010e druk 9783642134630

60,99

In winkelwagen

Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam,during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?- tion techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri?cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, models, technologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends in bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods.

Specificaties

ISBN13:9783642134630

Taal:Engels

Bindwijze:paperback

Aantal pagina's:233

Uitgever:Springer Berlin Heidelberg

Druk:2010

Hoofdrubriek:Automatisering algemeen, Computer en informatica

Serie:Lecture Notes in Computer Science

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Schrijf een recensie

Uw cijfer

?

Log in om te stemmen

Inhoudsopgave

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.

Managementboek Top 100

Bekijk de volledige Managementboek Top 100

Uw winkelwagen