WorldCat Identities

Raymond, Kerry

Overview
Works: 24 works in 52 publications in 1 language and 778 library holdings
Genres: Conference papers and proceedings  History 
Roles: Author, Editor
Classifications: QA76.9.D5, 004.36
Publication Timeline
.
Most widely held works by Kerry Raymond
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings by Jadwiga Indulska( Book )

15 editions published in 2007 in English and held by 119 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2007, held in Paphos, Cyprus in June 2007. The DAIS conference was held as a joint event in federation with the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007) and the 9th International Conference on Coordination Models and Languages (Coordination 2007). The 24 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers address current research in context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of which relate to the sustainability of distributed applications and integrated systems. The papers are organized in topical sections on context-awareness, distributed applications, adaptation, peer-to-peer, and mobility
Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC/WG 6.1 international conference on open distributed processing, 1994 by Kerry Raymond( Book )

9 editions published in 1995 in English and held by 102 WorldCat member libraries worldwide

Open Distributed Processing contains the selected proceedings of the Third International Conference on Open Distributed Systems, organized by the International Federation for Information Processing and held in Brisbane, Australia, in February 1995. The book deals with the interconnectivity problems that advanced computer networking raises, providing those working in the area with the most recent research, including security and management issues
Middleware '98 : IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing by Nigel Davies( Book )

6 editions published in 1998 in English and held by 78 WorldCat member libraries worldwide

This volume focuses on the design, implementation, deployment and evaluation of distributed systems platforms and architectures for future networked environments. Issues addresses in the text include: ORB architectures and engineering; event based systems; workflow environments; scalability in distributed systems platforms; availability and integrity; mobile objects; component architectures; type safety and security; web services; and application services. This book compiles the proceedings of Middleware '98, the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing. The conference was held in the Lake District, UK, in September 1998 and was sponsored by the International Federation for Information Processing (IFIP). This book represents an invaluable resource for researchers working on the state of the art in the field of distributed systems platforms and middleware
Distributed systems platforms and open distributed processing : proceedings of Middleware '98, IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, 15-18 September 1998, the Lake District, UK by IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing( Book )

1 edition published in 1998 in English and held by 4 WorldCat member libraries worldwide

Renamed places in Queensland by Kerry Raymond( )

in English and held by 4 WorldCat member libraries worldwide

Website compiled by Kerry Raymond intended to help find the location and/or new name for old/forgotten places in Queensland. Includes shires and local government, electorates, towns, suburbs and localities, post offices and railway stations, schools, churches and cemeteries, buildings, streets and mountains, rivers and geographical features
Selected papers from the Eleventh Australian Computer Science Conference by 1988, Brisbane> Australian Computer Science Conference. <11( Book )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

Using Z to specify distributed systems by Kerry Raymond( Book )

1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide

Implementing distributed semaphores using distributed mutual exclusion techniques by Kerry Raymond( Book )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

Open distributed processing : experiences with distributed environments by ICODP( Book )

1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide

Formal specifications and proofs of inheritance protocols for real-time scheduling by M Pilling( Book )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

This report contains a formal specification of a complete and a simplified version of the ceiling protocol together with proofs of their important properties. The simplified version is suitable only for soft real-time systems and was generated while working from an incomplete natural language description given by Sha. The results of the proofs give considerable insight into the ceiling protocols and clarify many areas of their operation."
Multiple entries with Ricart and Agrawala's distributed mutual exclusion algorithm by Kerry Raymond( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

ACSC-11 : proceedings of the eleventh Australian Computer Science Conference : [University of Queensland], 3-5 February, 1988 by Australian Computer Science Conference( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

Proceedings of the Eleventh Australian Computer Science Conference : 3 - 5 February 1988 by Australian Computer Science Conference( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

Open distributed processing : proceedings of the third IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing, 1994 by IFIP TC 6/Wg 6.1 International Conference on Open Distributed Processing( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

A comparison of LOTUS and Z for specifying distributed systems by Kerry Raymond( Book )

1 edition published in 1989 in English and held by 1 WorldCat member library worldwide

We also describe our comparative case study; the specification of a distributed termination algorithm in LOTUS and Z. The reader is assumed to have some familiarity with both LOTUS and Z."
Selected papers from Middleware'98 : the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing by IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing( Book )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Open distributed processing : experiences with distributed environments : proceedings of the by IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

Towards a pedagogy of supervision in the technology disciplines : final report( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Report of a fellowship that developed a pedagogy of higher degree research supervision for the technology disciplines. It investigated technology supervisors' thinking around pedagogy in the higher degree research context. It explored what it means to think about postgraduate study and supervision in terms of teaching and learning. The fellowship established a framework representing key aspects of a pedagogy of supervision based on the viewpoints of technology discipline supervisors and explored how supervisors can be supported in achieving such a pedagogy, especially through the development of resources. The framework created in this fellowship enabled the development of resources for supervisors. These resources are likely to be of particular value to 'new' supervisors or those wishing to refresh their supervision. They are also adaptable to other discipline contexts. The framework is presently based on the views of supervisors at one institution and should be further developed based on a wider group of contributing supervisors in the technology and/or other disciplines. [p.4, ed]
Representing distributed system concepts in Z by Philip Stocks( Book )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

Open distributed processing : proceedings of the( Book )

in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.54 for Distribute ... to 0.95 for Proceeding ...)

Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC/WG 6.1 international conference on open distributed processing, 1994Open distributed processing : experiences with distributed environmentsOpen distributed processing : proceedings of the third IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing, 1994Open distributed processing : experiences with distributed environments : proceedings of the
Languages
English (47)

Covers
Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC/WG 6.1 international conference on open distributed processing, 1994Middleware '98 : IFIP International Conference on Distributed Systems Platforms and Open Distributed ProcessingOpen distributed processing : experiences with distributed environmentsOpen distributed processing : proceedings of the third IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing, 1994Open distributed processing : experiences with distributed environments : proceedings of the