Ken Turner - Online Distributed Systems and (Tele)Communications Publications

Publications

These papers are available for downloading. See also the separate lists of publications on other topics. Click on the symbol preceding each article for the following:

PDF PDF
Web Page Web Page

Distributed Systems and (Tele)Communications

PDF Lynne Blair and Kenneth J. Turner. Handling Policy Conflicts in Call Control. In Stephan Reiff-Marganiec and Mark D. Ryan, editors, Proc. 8th International Conference on Feature Interaction, pages 39-57, IOS Press, Amsterdam, June 2005.

PDF Gavin A. Campbell and Kenneth J. Turner. Ontologies to support Call Control Policies. In N. Meghanathan, D. Collange and Y. Takasaki, editors, Proc. 3rd Advanced International Conference on Telecommunications (AICT'07), pages 5.1-5.6, IEEE Computer Society, New York, May 2007.

PDF Gavin A. Campbell and Kenneth J. Turner. Goals and Policies for Sensor Network Management. In M. Benveniste, B. Braem, C. Dini, G. Fortino, R. Karnapke, J. L. Mauri and M. S. H. Monsi, editors, Proc. 2nd International Conference on Sensor Technologies and Applications (SENSORCOMM'08), pages 354-359, IEEE Computer Society, Los Alamitos, California, August 2008.

PDF Gavin A. Campbell and Kenneth J. Turner. Policy Conflict Filtering for Call Control, in Lydie du Bousquet and Jean-Luc Richier (eds.), Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, pp. 83-98, IOS Press, Amsterdam, May 2008.

PDF A. John M. Donaldson and Kenneth J. Turner. Formal specification of QoS properties. In Jan de Meer, Gregor von Bochmann, and Andreas Vogel, editors, Proc. Workshop on Distributed Multimedia Applications and QoS Verification, pages 1-14. CRIM, Montreal, Canada, June 1994.

PDF Tingxue Huang and Kenneth J. Turner. Policy Support for H.323 Call Handling, Computer Standards and Interfaces, 28(2):204-217, November 2005 (pre-publication version, copyright Elsevier Science).

PDF Nikolaos Kosmas and Kenneth J. Turner. Requirements for Service Creation Environments. In Ignac Lovrek, editor, Proc. 2nd International Workshop on Applied Formal Methods in System Design, pages 133-137, Zagreb, June 1997.

PDF Paul S. Lambert, Koon Leai Larry Tan, Kenneth J. Turner, Vernon Gayle, Ken Prandy and Richard O. Sinnott. Development of a Grid Enabled Occupational Data Environment. In Rob Procter, editor, Proc. 2nd International Conference on e-Social Science, pages 1-12, National Centre for e-Social Science, Manchester, UK, June 2006.

PDF Ahmed F. Layouni, Luigi Logrippo and Kenneth J. Turner. Conflict Detection in Call Control using First-Order Logic Model Checking, in Lydie du Bousquet and Jean-Luc Richier (eds.), Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, pp. 66-82, IOS Press, Amsterdam, May 2008.

PDF Claire Maternaghan and Kenneth J. Turner. Policy Conflicts in Home Automation, Computer Networks, 57(12):2429--2241, August 2013 (pre-publication version, copyright Elsevier Science).

PDF Ilka Miloucheva, Plamen L. Simeonov, Klaus Rebensberg, Kenneth J. Turner, and A. John M. Donaldson. Prototype performance evaluation of multimedia service components. In Proc. 3rd International Conference on Computer Communications and Networks, pages 1-8, San Francisco, USA, September 1994. Elsevier Science.

PDF Daren A. Reed and Kenneth J. Turner. Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version). In Andrew Campbell and Klara Nahrstedt, editors, Proc. 5th International Workshop on Quality of Service, pages 255-258. Columbia University, New York, USA, May 1997.

PDF Stephan Reiff-Marganiec and Kenneth J. Turner. Use of Logic to describe Enhanced Communications Services. In Moshe Vardi and Doron Peled, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XV), Lecture Notes in Computer Science 2529, pages 130-145, Copyright Springer, Berlin, November 2002.

PDF Stephan Reiff-Marganiec and Kenneth J. Turner. A Policy Architecture for Enhancing and Controlling Features. In Daniel Amyot and Luigi Logrippo, editors, Proc. Feature Interactions in Telecommunication Networks VII, 239-246, IOS Press, Amsterdam, June 2003.

PDF Stephan Reiff-Marganiec and Kenneth J. Turner. Feature Interaction in Policies, Computer Networks, 45(5):569-584, Copyright Elsevier Science Publishers, Amsterdam, March 2004.

PDF Richard O. Sinnott and Kenneth J. Turner. The Development of An Architectural Semantics for ODP. Technical Report CSM-121, Department of Computing Science and Mathematics, University of Stirling, Scotland, March 1994.

PDF Richard O. Sinnott and Kenneth J. Turner. Modelling ODP viewpoints. In B. Cameron, C. Geldrez, A. Hopley, D. Howes, B. Mirek, and M. Plucinska, editors, Proc. OOPSLA 94 Workshop on Precise Behavioural Specifications in OO Information Modelling, pages 121-128, Portland, Oregon, USA, October 1994.

PDF Richard O. Sinnott and Kenneth J. Turner. Applying formal methods to standard development: The Open Distributed Processing experience, Computer Standards and Interfaces, 17:615-630, October 1995.

PDF Richard O. Sinnott and Kenneth J. Turner. Specifying Multimedia Binding Objects in Z. Proc. Workshop on Trends in Distributed Systems, Aachen, Germany, October 1996.

PDF Richard O. Sinnott and Kenneth J. Turner. Specifying ODP Computational Objects in Z. In Elie Najm and Jean-Bernard Stefani, editors, Proc. Formal Methods for Open Object-Based Distributed Systems 96, pages 375-390, Chapman and Hall, 1997.

PDF Richard O. Sinnott and Kenneth J. Turner. Type Checking in Open Distributed Systems: A Complete Model and its Z Specification, In Jerome Rolia, Jacob Slonim and John Botsford, editors, Open Distributed Processing and Distributed Platforms, Chapman and Hall, 1997.

PDF Richard O. Sinnott and Kenneth J. Turner. Applying the architectural semantics of ODP to develop a trader specification (pre-publication version), Computer Networks and ISDN Systems, 29(4):457-471, March 1997.

PDF Koon Leai Larry Tan, Vernon Gayle, Paul S. Lambert, Richard O. Sinnott and Kenneth J. Turner. GEODE Sharing Occupational Data Through The Grid. In Simon J. Cox, editor, Proc. 5th UK e-Science All Hands Meeting, pages 534-541, ISBN 0-9553988-0-0, National e-Science Centre, Edinburgh, September 2006.

PDF Koon Leai Larry Tan, Paul S. Lambert, Vernon Gayle and Kenneth J. Turner. Enabling Quantitative Data Analysis on Cyberinfrastructures and Grids. In Gary Olson and Rob Procter, editors, Proc. 3rd International Conference on e-Social Science, pages III.20-III.31, Ann Arbor, Michigan, USA, October 2007.

PDF Koon Leai Larry Tan and Kenneth J. Turner. Orchestrating Grid Services using BPEL and Globus Toolkit 4. In Madjid Merabti, Rubem Pereira, Carol Oliver and OmarAbuelma'atti, editors, Proc. 7th PGNet Symposium, pages 31-36, ISBN 1-902560-13-9, School of Computing, Liverpool John Moores University, Liverpool, UK, June 2006.

PDF Koon Leai Larry Tan and Kenneth J. Turner. Automated Analysis and Implementation of Composed Grid Services. In Dimitrios Dranidis and Ilias Sakellariou, editors, Proc. 3rd South-East European Workshop on Formal Methods, pages 51-64, Thessaloniki, Greece, November 2007.

Web Page Kenneth J. Turner, editor. Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS and SDL. John Wiley, New York, January 1993.

PDF Kenneth J. Turner. An engineering approach to formal methods. In Andre A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pages 357-380. North-Holland, Amsterdam, Netherlands, June 1993.

PDF Kenneth J. Turner. Specification architecture illustrated in a communications context (pre-publication version), Computer Networks and ISDN Systems, 29(4):397-411, March 1997.

PDF Kenneth J. Turner. Relating architecture and specification (pre-publication version). Computer Networks and ISDN Systems, 29(4):437-456, March 1997.

PDF Kenneth J. Turner. Relating Services and Features in the Intelligent Network. In Marijan Kunstic, editor, Proc. 4th International Conference on Telecommunications, pages 235-243, Zagreb, June 1997.

PDF Kenneth J. Turner. An Architectural Foundation for Relating Features. In Petre Dini, Raouf Boutaba and Luigi Logrippo, editors, Proc. Feature Interactions in Telecommunication Networks IV, pages 226-241, IOS Press, Amsterdam, June 1997.

PDF Kenneth J. Turner. An Architectural Description of Intelligent Network Features and Their Interactions (pre-publication version), Computer Networks and ISDN Systems, Petre Dini and Luigi Logrippo, editors, Special Issue on Feature Interactions in Telecommunications Software, 30(15):1389-1419, September 1998.

PDF Kenneth J. Turner. Validating Architectural Feature Descriptions using LOTOS. Proc. Feature Interactions in Telecommunication Networks V, pages 1389-1419, IOS Press, Amsterdam, September 1998.

PDF Kenneth J. Turner. Formalising the Chisel Feature Notation. In Muffy H. Calder and Evan H. Magill, editors, Proc. Feature Interactions in Telecommunication Networks VI, pages 241-256, IOS Press Amsterdam, May 2000.

PDF Kenneth J. Turner. Realising Architectural Feature Descriptions using LOTOS. Parallel Computers, Networks and Distributed Systems (Calculateurs Parallèles, Réseaux et Systèmes Répartis), Editions Hermès, Paris, August 2000.

PDF Kenneth J. Turner. Modular Feature Specification. In Tom Gray, editor, Proc. MICON 2001, Mitel Networks Corporation, Kanata, Canada, August 2001.

PDF Kenneth J. Turner. Modelling SIP Services using CRESS. In Moshe Vardi and Doron Peled, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XV), Lecture Notes in Computer Science 2529, pages 162-177, Copyright Springer, Berlin, November 2002.

PDF Kenneth J. Turner. Representing New Voice Services and Their Features. In Daniel Amyot and Luigi Logrippo, editors, Proc. Feature Interactions in Telecommunication Networks VII, 123-140, IOS Press, Amsterdam, June 2003.

PDF Kenneth J. Turner. Specifying and Realising Interactive Voice Services. In Harmut Koenig, Monica Heiner and Adam Wolisz, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVI), Lecture Notes in Computer Science 2767, 15-30, Copyright Springer, Berlin, September 2003.

PDF Kenneth J. Turner. Formalising Graphical Service Descriptions using SDL. In Rick Reed and Jeanne Reed, editors, Proc. SDL 2003, Lecture Notes in Computer Science 2708, 183-202, Copyright Springer, Berlin, Germany, July 2003.

PDF Kenneth J. Turner. Analysing Interactive Voice Services (pre-publication version), Computer Networks, 45:665-685, Copyright Elsevier Science Publishers, Amsterdam, March 2004.

PDF Kenneth J. Turner. Formalising Graphical Behaviour Descriptions, Proc. 10th. International Conference on Algebraic Methodology and Software Technology, 537-552, Copyright Elsevier Science Publishers, Amsterdam, March 2004.

PDF Kenneth J. Turner. Formalising Web Services. In Fern Wang, editor, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVIII), Lecture Notes in Computer Science 3731, pages 473-488, Copyright Springer, Berlin, October 2005.

PDF Kenneth J. Turner. Representing and Analysing Composed Web Services using CRESS (pre-publication version), Network and Computer Applications, 30(2):541-562, Copyright Elsevier Science Publishers, Amsterdam, April 2007.

PDF Kenneth J. Turner. Device Services for The Home. In Khalil Drira, Ahmed Hadj Kacem and Mohamed Jmaiel, editors, Proc. 10th Int. Conf. on New Technologies for Distributed Systems, pages 41-48, IEEE Computer Society, Los Alamitos, California, USA, June 2010, ISBN 978-1-4244-7066-2.

PDF Kenneth J. Turner and Lynne Blair. Policies and Conflicts in Call Control, Computer Networks, 51(2):496-514, February 2007 (pre-publication version, copyright Elsevier Science).

PDF Kenneth J. Turner and Gavin A. Campbell. Goals and Conflicts in Telephony, in Masahide Nakamura and Stephan Reiff-Marganiec (eds.), Proc. 10th Int. Conf. on Feature Interactions in Software and Communications Systems, pp. 3-18, IOS Press, Amsterdam, June 2009.

PDF Kenneth J. Turner and Gavin A. Campbell. Goals for Telecare Networks, in Abdel Obaid (ed.), Proc. 9th Int. Conf. on New Technologies for Distributed Systems, pp. 270-275, Montreal, ISBN 978-1-60750-014-8, July 2009.

PDF Kenneth J. Turner, Gavin A. Campbell and Feng Wang. Policies for Sensor Networks and Home Care Networks, in Mohammed Erradi (ed.), Proc. 7th Int. Conf. on New Technologies for Distributed Systems, pp. 273-284, ISBN 9981-9704-7-6, June 2007.

PDF Kenneth J. Turner, Koon Leai Larry Tan, Jesse M. Blum, Guy C. Warner, Simon B. Jones and Paul S. Lambert. Managing Data in E-Social Science, in Robert Bestak, Laurent George, Vladimir S. Zaborovsky and Cosmin Dini (eds.), Proc. 8th Int. Conf. on Networks, pp. 214-219, (C) IEEE Computer Society, ISBN 978-0-7695-3552-4, March 2009.

PDF Kenneth J. Turner, Liam S. Docherty, Feng Wang and Gavin A. Campbell. Managing Home Care Networks, in Robert Bestak, Laurent George, Vladimir S. Zaborovsky and Cosmin Dini (eds.), Proc. 8th Int. Conf. on Networks, pp. 354-359, (C) IEEE Computer Society, ISBN 978-0-7695-3552-4, March 2009.

Web Page Kenneth J. Turner, Evan H. Magill and David J. Marples, editors. Service Provision - Technologies for Next Generation Communications Systems. John Wiley, Chichester, UK, March 2004.

PDF Kenneth J. Turner and Iain A. Robin An Interactive Visual Protocol Simulator, Computer Standards and Interfaces, 23:279-310, October 2001 (pre-publication version, copyright Elsevier Science).

PDF Kenneth J. Turner, Stephan Reiff-Marganiec, Lynne Blair, Jianxiong Pang, Tom Gray, Peter Perry and Joe Ireland Policy Support for Call Control, Computer Standards and Interfaces, 28(6):635-649, June 2006 (pre-publication version, copyright Elsevier Science).

PDF Kenneth J. Turner and Marten van Sinderen. LOTOS specification style for OSI. In Ed Brinksma, Tommaso Bolognesi, and Christopher A. Vissers, editors, Proc. 3rd LotoSphere Workshop, pages 5/1-22, Pisa, September 1992. CNUCE.

PDF Kenneth J. Turner and Marten van Sinderen. LOTOS specification style for OSI. In Tommaso Bolognesi, Jeroen van de Lagemaat and Chris A. Vissers, editors, The LOTOSPHERE Project, pages 137-159. Kluwer Academic Publishers, London, UK, 1995.

PDF Kenneth J. Turner and Koon Leai Larry Tan. Graphical Composition of Grid Services. In Didier Buchs and Nicolas Guelfi, editors, Proc. International Conference on Rapid Introduction of Software Engineering Techniques, Lecture Notes in Computer Science 4401, pages 1-17, Copyright Springer, Berlin, May 2007.

PDF Kenneth J. Turner and Koon Leai Larry Tan. A Rigorous Methodology for Composing Services. In Maria Alpuente, Byron Cook and Christophe Joubert, editors, Proc. Formal Methods for Industrial Critical Systems 14, Lecture Notes in Computer Science 5825, pages 165-180, Copyright Springer, Berlin, November 2009.

PDF Kenneth J. Turner and Koon Leai Larry Tan. A Rigorous Approach to Orchestrating Grid Services. Computer Networks, 51(15):4421-4441, Copyright Elsevier, Amsterdam, October 2007.

PDF Kenneth J. Turner and Koon Leai Larry Tan. Rigorous Development of Composite Grid Services. Network and Computer Applications, 35(4):1304-1316, Copyright Elsevier, Amsterdam, February 2012.

PDF Feng Wang and Kenneth J. Turner. Policy Conflicts in Home Care Systems, in Lydie du Bousquet and Jean-Luc Richier (eds.), Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, pp. 54-65, IOS Press, Amsterdam, May 2008.

PDF Feng Wang and Kenneth J. Turner. An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems, in M. Mokhtari, I. Khalil, J. Bauchet, D. Zhang and C. Nugent (eds.), Proc. 7th International Conference on Smart Homes and Health Telematics, pp. 66-73, LNCS 5597, Springer, Berlin, June 2009.


Up one level to Ken Turner - Online Publications

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 22nd July 2013
URL: http://www.cs.stir.ac.uk/~kjt/research/pub-comms.html