Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Wang, Farn (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3731
Temas:
Computer networks .
Software engineering.
Computer science.
Operating systems (Computers).
Computer Communication Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Operating Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares