Formal Techniques for Networked and Distributed Systems FORTE 2001

Formal Techniques for Networked and Distributed Systems FORTE 2001 / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee.

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Myungchul Kim (Editor), Byoungmoon Chin (Editor), Sungwon Kang (Editor), Danhyung Lee (Editor)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	IFIP Advances in Information and Communication Technology, 69 Springer eBook Collection.
Subjects:	Computer communication systems. Artificial intelligence. Microprocessors. Software engineering. Electrical engineering. 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.

Similar Items

Formal Methods for Distributed System Development FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Published: (2000)

Formal Methods for Protocol Engineering and Distributed Systems Forte XII / PSTV XIX’99
Published: (1999)

Formal Methods for Embedded Distributed Systems How to master the complexity
Published: (2004)

Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Published: (1998)

Performance Analysis and Grid Computing Selected Articles from the Workshop on Performance Analysis and Distributed Computing August 19–23, 2002, Dagstuhl, Germany
Published: (2004)

Distributed Applications and Interoperable Systems II IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS’99)June 28–July 1, 1999, Helsinki, Finland
Published: (1999)

New Developments in Distributed Applications and Interoperable Systems IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland
Published: (2001)

Opportunities and Constraints of Parallel Computing
Published: (1989)

Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings
Published: (1997)

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Published: (2017)

Computer Systems and Software Engineering State-of-the-art
Published: (1992)

Distributed Applications Engineering Building New Applications and Managing Legacy Applications with Distributed Technologies
by: Wijegunaratne, Inji, et al.
Published: (1998)

Distributed and Parallel Systems In Focus: Desktop Grid Computing
Published: (2008)

Internetworking and Computing Over Satellite Networks
Published: (2003)

Switching and Traffic Theory for Integrated Broadband Networks
by: Hui, Joseph Y.
Published: (1990)

Architecture and Protocols for High-Speed Networks
Published: (1994)

Distributed and Parallel Systems From Cluster to Grid Computing
Published: (2007)

Communication Systems The State of the Art IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art August 25–30, 2002, Montréal, Québec, Canada
Published: (2002)

Web Content Caching and Distribution Proceedings of the 8th International Workshop
Published: (2004)

LOTOSphere: Software Development with LOTOS
Published: (1995)

Industrial Networks and Intelligent Systems 3rd International Conference, INISCOM 2017, Ho Chi Minh City, Vietnam, September 4, 2017, Proceedings
Published: (2018)

Integrated Network Management VIII Managing It All
Published: (2003)

Trust and Fairness in Open, Distributed Systems
by: Wierzbicki, Adam
Published: (2010)

Active Networks and Active Network Management A Proactive Management Framework
by: Bush, Stephen F., et al.
Published: (2002)

Distributed Infrastructure Support for Electronic Commerce Applications
by: Jacobsen, Hans-Arno
Published: (2004)

Formal Techniques in Real-Time and Fault-Tolerant Systems
Published: (1993)

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 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 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 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 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Published: (2005)

Ambient Intelligence: Impact on Embedded System Design
Published: (2003)

Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997.
Published: (1998)

Testing of Communicating Systems XIV Application to Internet Technologies and Services
Published: (2002)

Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Published: (2002)

Distributed Event-Based Systems
by: Mühl, Gero, et al.
Published: (2006)

Cooperating Heterogeneous Systems
by: Schwartz, David G.
Published: (1995)

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Published: (2006)

Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings
Published: (2019)

Mobile Agents for Telecommunication Applications 4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings
Published: (2002)