Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan


0 reviews

Written by Farn Wang

Jan, 2017

568 pages

Description

FORTE (Formal Techniques forNetworked and Distributed Systems) 2005 was sponsored by Working Group 6.1, Technical Committee 6 (TC6) of the International Federation for Information Processing (IFIP). The conference series started in 1981 under the name PSTV (Protocol Specification, Testing, and Verification). 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 five meetings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). FORTE (Formal Techniques forNetworked and Distributed Systems) 2005 was sponsored by Working Group 6.1, Technical Committee 6 (TC6) of the International Federation for Information Processing (IFIP). The conference series started in 1981 under the name PSTV (Protocol Specification, Testing, and Verification). 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 five meetings 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, abstractions, protocol testing, protocol verification,network synthesis, security system analysis,network robustness, embedded systems, communication protocols, and several promising new techniques. In total, we received 88 submissions and accepted 33 regular papers and 6 short papers. All submissions received three reviews. The final program also included 3 keynote speeches, respectively by Prof. Amir Pnueli, Dr. Constance Heitmeyer, and Prof. Teruo Higashino, and 3 tutorials, respectively by Prof. Rance Cleaveland, Dr. Constance Heitmeyer, and Prof. Teruo Higashino. The proceedings also include the text of the keynote speeches. In addition, there were social events, including a reception, a banquet, and an excursion.

Publish

Title: Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan
Author: Farn Wang
Language: English
Length: 568
Publication Date: 2017-01-14
NOTICE: BOOK CONTENT AND LINKS HAVE COLLECTED FROM THE INTERNET, YOU MAY GET BROKEN LINK OR COPYRIGHT COMPLAINT. YOU CAN BUY THIS BOOK OR PLEASE MAIL TO daviddlinville at GMX dot COM TO REPORT

Tags

Recent BOOKS

Draping: The Complete Course

Draping: The Complete Course

  • Karolyn Kiisel
  • June 2018
How to Use Type

How to Use Type

  • Lindsey Marshall and
  • June 2018
Materials for Design

Materials for Design

  • Chris Lefteri
  • June 2018