Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Formal Techniques for Networke...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / edited by Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Najm, Elie
(Editor)
,
Pradat-Peyre, Jean-Francois
(Editor)
,
Donzeau-Gouge, Véronique Viguié
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
Edition:
1st ed. 2006.
Series:
Programming and Software Engineering ;
4229
Springer eBook Collection.
Subjects:
Computers.
Computer communication systems.
Software engineering.
Computer logic.
Operating systems (Computers).
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of Contents:
Invited Talks
Modelling of Complex Software Systems: A Reasoned Overview
The ?+?CAL Algorithm Language
Semantic-Based Development of Service-Oriented Systems
Services
JSCL: A Middleware for Service Coordination
Analysis of Realizability Conditions for Web Service Choreographies
Web Cube
Presence Interaction Management in SIP SOHO Architecture
Middleware
Formal Analysis of Dynamic, Distributed File-System Access Controls
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures
A LOTOS Framework for Middleware Specification
Composition and Synthesis
Automatic Synthesis of Assumptions for Compositional Model Checking
Refined Interfaces for Compositional Verification
On Distributed Program Specification and Synthesis in Architectures with Cycles
Generalizing the Submodule Construction Techniques for Extended State Machine Models
Logics
Decidable Extensions of Hennessy-Milner Logic
Symbolic Verification – Slicing
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
A New Approach for Concurrent Program Slicing
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach
Unified Modeling Languages
Branching Time Semantics for UML 2.0 Sequence Diagrams
Formalizing Collaboration Goal Sequences for Service Choreography
Composition of Use Cases Using Synchronization and Model Checking
Petri Nets
PN Standardisation: A Survey
Resource Allocation Systems: Some Complexity Results on the S4PR Class
Optimized Colored Nets Unfolding
Parameterized Verification
Liveness by Invisible Invariants
Real Time
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
Scenario-Based Timing Consistency Checking for Time Petri Nets
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
Testing
Grey-Box Checking
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
Minimizing Coordination Channels in Distributed Testing
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.
Similar Items
Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003
Published: (2003)
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Published: (2007)
Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Published: (2004)
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Published: (2008)
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Published: (2005)