Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009254544/catalog> ?p ?o. }

Showing items 1 to 33 of 33 with 100 items per page.

catalog abstract "This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume.".
catalog contributor b13053700.
catalog contributor b13053701.
catalog contributor b13053702.
catalog contributor b13053703.
catalog created "2003.".
catalog date "2003".
catalog date "2003.".
catalog dateCopyrighted "2003.".
catalog description "Includes bibliographical references and index.".
catalog description "This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume.".
catalog description "UNIX STREAMS Generation from a Formal Specification / Pawel Rychwalski and Jacek Wytrebowicz -- Specifying and Realising Interactive Voice Services / Kenneth J. Turner -- Vertical Reuse in the Development of Distributed Systems with FDTs / Reinhard Gotzhein -- Service-Oriented Systems Engineering: Modeling Services and Layered Architectures / Manfred Broy.".
catalog extent "xii, 429 p. :".
catalog identifier "3540201750 (alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2767".
catalog issued "2003".
catalog issued "2003.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "004/.01/51 22".
catalog subject "Computer Communication Networks.".
catalog subject "Computer network protocols Congresses.".
catalog subject "Computer science.".
catalog subject "Electronic data processing Distributed processing Congresses.".
catalog subject "Formal methods (Computer science) Congresses.".
catalog subject "Logic design.".
catalog subject "Operating systems (Computers).".
catalog subject "QA76.9.F67 F67 2003".
catalog subject "Software engineering.".
catalog tableOfContents "UNIX STREAMS Generation from a Formal Specification / Pawel Rychwalski and Jacek Wytrebowicz -- Specifying and Realising Interactive Voice Services / Kenneth J. Turner -- Vertical Reuse in the Development of Distributed Systems with FDTs / Reinhard Gotzhein -- Service-Oriented Systems Engineering: Modeling Services and Layered Architectures / Manfred Broy.".
catalog title "Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -October 2, 2003, proceedings / Hartmut König, Mokika Heiner, Adam Wolisz, eds.".
catalog type "Conference proceedings. fast".
catalog type "text".