05608nam 22006615 450 99646622180331620200703042916.010.1007/11562436(CKB)1000000000213291(SSID)ssj0000317730(PQKBManifestationID)11258697(PQKBTitleCode)TC0000317730(PQKBWorkID)10294843(PQKB)10297848(DE-He213)978-3-540-32084-5(MiAaPQ)EBC3067707(PPN)123097932(EXLCZ)99100000000021329120100319d2005 u| 0engurnn|008mamaatxtccrFormal Techniques for Networked and Distributed Systems - FORTE 2005[electronic resource] 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /edited by Farn Wang1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XII, 558 p.) Programming and Software Engineering ;3731Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540291893 Includes bibliographical references and index.KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarchy of Implementable MSC Languages -- Combining Static Analysis and Model Checking for Systems Employing Commutative Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden Markov Models -- Proving ??-Calculus Properties with SAT-Based Model Checking -- Ad Hoc Routing Protocol Verification Through Broadcast Abstraction -- Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol -- Thread Allocation Protocols for Distributed Real-Time and Embedded Systems -- A Petri Net View of Mobility -- Modular Verification of Petri Nets Properties: A Structure-Based Approach -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures -- Automatic Generation of Conflict-Free IPsec Policies -- A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks -- Model Checking for Timed Statecharts -- Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis -- Modeling and Verification of Safety-Critical Systems Using Safecharts -- Structure Preserving Data Abstractions for Statecharts -- Amortised Bisimulations -- Proof Methodologies for Behavioural Equivalence in Dpi -- Deriving Non-determinism from Conjunction and Disjunction -- Abstract Operational Semantics for Use Case Maps -- ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics -- Submodule Construction for Extended State Machine Models -- Towards Synchronizing Linear Collaborative Objects with Operational Transformation -- Designing Efficient Fail-Safe Multitolerant Systems -- Hierarchical Decision Diagrams to Exploit Model Structure -- Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks -- Formalising Web Services -- From Automata Networks to HMSCs: A Reverse Model Engineering Perspective -- Properties as Processes: Their Specification and Verification -- SHORT PAPERS -- Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks -- Automatic Partitioner for Behavior Level Distributed Logic Simulation -- Expressive Completeness of an Event-Pattern Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test Generation -- Formal Description of Mobile IPv6 Protocol -- Incremental Modeling Under Large-Scale Distributed Interaction -- The Inductive Approach to Strand Space -- Compositional Modelling and Verification of IPv6 Mobility.Programming and Software Engineering ;3731Computer communication systemsSoftware engineeringComputer logicOperating systems (Computers)Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XOperating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Computer communication systems.Software engineering.Computer logic.Operating systems (Computers).Computer Communication Networks.Software Engineering.Logics and Meanings of Programs.Operating Systems.004.6/254.32bclWang Farnedthttp://id.loc.gov/vocabulary/relators/edtIFIP Working Group 6.1.BOOK996466221803316Formal Techniques for Networked and Distributed Systems - FORTE 2005772055UNISA