The Resource Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.)
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.)
Resource Information
The item Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Extent
- 1 online resource (xii, 558 pages)
- Contents
-
- 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
- Isbn
- 9783540291893
- Label
- Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
- Title
- Formal techniques for networked and distributed systems--FORTE 2005
- Title remainder
- 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
- Statement of responsibility
- Farn Wang (ed.)
- Title variation
- FORTE 2005
- Subject
-
- Computer network protocols
- Computer network protocols
- Computer network protocols -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing -- Congresses
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science) -- Congresses
- Informatique
- Model-checking (Informatique)
- Méthode formelle
- Méthodes formelles (Informatique) -- Congrès
- Protocole de réseau d'ordinateurs
- Protocoles de réseaux d'ordinateurs -- Congrès
- Réseau distribué
- Traitement réparti -- Congrès
- COMPUTERS -- Networking | Network Protocols
- Language
- eng
- Cataloging source
- GW5XE
- Dewey number
- 004.6/2
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.F67
- LC item number
- F67 2005eb
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2005
- http://bibfra.me/vocab/lite/meetingName
- FORTE 2005
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Wang, Farn
- IFIP Working Group 6.1
- Series statement
- Lecture notes in computer science,
- Series volume
- 3731
- http://library.link/vocab/subjectName
-
- Formal methods (Computer science)
- Electronic data processing
- Computer network protocols
- Méthodes formelles (Informatique)
- Protocoles de réseaux d'ordinateurs
- Traitement réparti
- COMPUTERS
- Informatique
- Computer network protocols
- Electronic data processing
- Formal methods (Computer science)
- Méthode formelle
- Protocole de réseau d'ordinateurs
- Model-checking (Informatique)
- Réseau distribué
- Label
- Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 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
- Control code
- 262681861
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 558 pages)
- Form of item
- online
- Isbn
- 9783540291893
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/11562436
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-29189-3
- Specific material designation
- remote
- System control number
- (OCoLC)262681861
- Label
- Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 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
- Control code
- 262681861
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 558 pages)
- Form of item
- online
- Isbn
- 9783540291893
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/11562436
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-29189-3
- Specific material designation
- remote
- System control number
- (OCoLC)262681861
Subject
- Computer network protocols
- Computer network protocols
- Computer network protocols -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing -- Congresses
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science) -- Congresses
- Informatique
- Model-checking (Informatique)
- Méthode formelle
- Méthodes formelles (Informatique) -- Congrès
- Protocole de réseau d'ordinateurs
- Protocoles de réseaux d'ordinateurs -- Congrès
- Réseau distribué
- Traitement réparti -- Congrès
- COMPUTERS -- Networking | Network Protocols
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-techniques-for-networked-and-distributed/3g9My1TfLW8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-techniques-for-networked-and-distributed/3g9My1TfLW8/">Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-techniques-for-networked-and-distributed/3g9My1TfLW8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-techniques-for-networked-and-distributed/3g9My1TfLW8/">Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings, Farn Wang (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
