WorldCat Identities

International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks

Overview
Works: 118 works in 152 publications in 2 languages and 898 library holdings
Genres: Conference papers and proceedings 
Roles: isb, Other, Contributor
Publication Timeline
.
Most widely held works by International Federation for Information Processing
Distributed applications and interoperable systems : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, the Netherlands, June 7-9, 2010 ; proceedings by DAIS (Conference)( )

2 editions published in 2010 in German and English and held by 51 WorldCat member libraries worldwide

Annotation
Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference, DAIS 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings by Jim Dowling( )

3 editions published in 2013 in English and German and held by 48 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 12 revised full papers and 9 short papers presented were carefully reviewed and selected from 42 submissions. The papers present state-of-the-art research results and case studies in the area of distributed applications and interoperable systems focussing on cloud computing, replicated storage, and peer-to-peer computing
Testing software and systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings by Alexandre Petrenko( )

2 editions published in 2010 in German and English and held by 44 WorldCat member libraries worldwide

Annotation
Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012 ; proceedings by Karl Michael Göschka( )

3 editions published in 2012 in English and German and held by 43 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2012, held in Stockholm, Sweden, in June 2012 as one of the DisCoTec 2012 events. The 12 revised full papers and 9 short papers presented were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on peer-to-peer and large scale systems; security and reliability in web, cloud, p2p, and mobile systems; wireless, mobile, and pervasive systems; multidisciplinary approaches and case studies, ranging from Grid and parallel computing to multimedia and socio-technical systems; and service-oriented computing and e-commerce
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings by Alexandre Petrenko( )

3 editions published in 2007 in English and held by 38 WorldCat member libraries worldwide

Printbegrænsninger: Der kan printes kapitelvis
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings by Elie Najm( )

1 edition published in 2006 in English and held by 32 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches, and address - in addition to the classical protocol specification, verification and testing problems - the issues of composition of protocol functions and of algorithms for distributed systems. The papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing
Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings by Roberto Bruni( )

3 editions published in 2011 in English and German and held by 29 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms
Distributed applications and interoperable systems 11th IFIP WG 6.1 international conference ; proceedings by Pascal Felber( Book )

2 editions published in 2011 in German and English and held by 27 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2011, held in Reykjavik, Iceland, in June 2011 as one of the DisCoTec 2011 events. The 18 revised full papers and 6 short papers presented were carefully reviewed and selected from 55 submissions. The papers presented at DAIS 2011 address key challenges of modern distributed services and applications, including pervasiveness and peer-to-peer environments, and tackle issues related to adaptation, interoperability, availability and performance, as well as dependability and security
Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings by Roland Groz( )

1 edition published in 2004 in English and held by 25 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 16th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, TestCom 2004, held in Oxford, UK in March 2004. The 14 revised full papers presented were carefully reviewed and selected for inclusion in the book. All Current issues in testing communications system are addressed, ranging from classical telecommunications issues to the testing of reactive systems and testing from UML
Testing software and systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : proceedings by M. G Merayo( )

2 editions published in 2014 in German and English and held by 21 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences
Distributed applications and interoperable systems 4th IFIP WG 6.1 international conference proceedings( Book )

2 editions published in 2003 in English and held by 21 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2003, held in Paris, France, in November 2003. The 21 revised full papers and 6 revised short papers presented were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on adaptation and separation of concerns; deployment; security and transactions; replication; networking and routing; discovery, context-awareness, and ontologies; and asynchronous messaging
Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings by International Conference on Formal Techniques for Networked and Distributed Systems( )

5 editions published between 2002 and 2003 in English and held by 21 WorldCat member libraries worldwide

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
Testing of software and communicating systems 20th IFIP TC 6 WG 6.1 international conference ; proceedings( )

2 editions published in 2008 in English and held by 21 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings by Elie Najm( Book )

2 editions published in 2003 in English and held by 20 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003. The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings by David de Frutos-Escrig( Book )

2 editions published in 2004 in English and held by 18 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain in September 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection
Testing software and systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings by ICTSS (Conference)( Book )

1 edition published in 2016 in English and held by 16 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings by Burkhart Wolff( )

1 edition published in 2011 in German and held by 16 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing sofware systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures
Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings( )

1 edition published in 2005 in German and held by 13 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.18 for Testing of ... to 0.92 for Coordinati ...)

Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference, DAIS 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings
Covers
Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference, DAIS 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedingsTesting software and systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedingsDistributed applications and interoperable systems : 12th IFIP WG 6.1 international conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012 ; proceedingsFormal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedingsTesting of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedingsFormal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedingsFormal techniques for distributed systems joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedingsDistributed applications and interoperable systems 11th IFIP WG 6.1 international conference ; proceedings
Alternative Names
IFIP TC6/WG6.1

IFIP WG

IFIP WG 6.1

International Federation for Information Processing Technical Committee Communication Systems WG 1

International Federation for Information Processing Technical Committee Communication Systems Working Group 1

International Federation for Information Processing Technical Committee Communication Systems Working Group Architecture and Protocols for Computer Networks

International Federation for Information Processing Technical Committee Data Communication WG

International Federation for Information Processing Technical Committee Data Communication Working Group

International Federation for Information Processing Technical Committee Data Communication Working Group Architecture and Protocols for Computer Networks

International Federation for Information Processing WG

International Federation for Information Processing Working Group

International Federation for Information Processing Working Group on Architecture and Protocols for Computer Networks

Working Group Architecture and Protocols for Computer Networks

Languages
English (30)

German (10)