Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Formal Techniques for Networked and Distributed Systems - FORTE 2005 als Buch
PORTO-
FREI

Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. 'Lecture Notes in…
Buch (kartoniert)
Ihr 12%-Rabatt auf alle Spielwaren, Hörbücher, Filme, Musik u.v.m
 
12% Rabatt sichern mit Gutscheincode: SONNE12
 
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PS … weiterlesen
Buch

112,49*

inkl. MwSt.
Portofrei
Sofort lieferbar
Formal Techniques for Networked and Distributed Systems - FORTE 2005 als Buch

Produktdetails

Titel: Formal Techniques for Networked and Distributed Systems - FORTE 2005

ISBN: 354029189X
EAN: 9783540291893
25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings.
'Lecture Notes in Computer Science'. 'Programming and Software Engineering'.
2005. Auflage.
Bibliographie.
Book.
Sprache: Englisch.
Herausgegeben von Farn Wang
Springer-Verlag GmbH

26. September 2005 - kartoniert - XII

Beschreibung

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2-5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC. The scope covered formal description techniques (MSC, UML, Use cases, ...), semantic foundations, model-checking, SAT-based techniques, process algebrae, - stractions, protocol testing, protocol veri?cation, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and s- eral promising new techniques. In total, we received 88 submissions and accepted 33 regular papers and 6 short papers. All submissions received three reviews. The ?nal program also included 3 keynote speeches, respectively by Prof. Amir Pnueli, Dr. C- stance Heitmeyer, and Prof. Teruo Higashino, and 3 tutorials, respectively by Prof. Rance Cleaveland, Dr. Constance Heitmeyer, and Prof. Teruo Higashino. The proce- ings also include the text of the keynote speeches. In addition, there were social events, including a reception, a banquet, and an excursion.

Inhaltsverzeichnis

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.

Mehr aus dieser Reihe

zurück
Coalgebraic Methods in Computer Science
Buch (kartoniert)
Verification and Evaluation of Computer and Communication Systems
Buch (kartoniert)
RoboCup 2017: Robot World Cup XXI
Buch (kartoniert)
Swarm Intelligence
Buch (kartoniert)
Advances in Artificial Intelligence
Buch (kartoniert)
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.