Ken Turner - Online Distributed Systems and (Tele)Communications 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:
Web Page
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.
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.
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.
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.
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.
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).
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.
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.
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.
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).
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.
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.
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.
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.
Stephan
Reiff-Marganiec and Kenneth J. Turner. Feature Interaction in
Policies, Computer Networks, 45(5):569-584, Copyright Elsevier
Science Publishers, Amsterdam, March 2004.
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.
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.
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.
Richard O.
Sinnott and Kenneth J. Turner. Specifying Multimedia Binding Objects
in Z. Proc. Workshop on Trends in Distributed Systems, Aachen,
Germany, October 1996.
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.
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.
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.
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.
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.
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.
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.
Kenneth J. Turner, editor. Using Formal
Description Techniques - An Introduction to ESTELLE, LOTOS and SDL. John
Wiley, New York, January 1993.
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.
Kenneth J. Turner. Specification
architecture illustrated in a communications context (pre-publication
version), Computer Networks and ISDN Systems, 29(4):397-411,
March 1997.
Kenneth J. Turner. Relating architecture and
specification (pre-publication version). Computer Networks and ISDN
Systems, 29(4):437-456, March 1997.
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.
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.
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.
Kenneth J.
Turner. Validating Architectural Feature Descriptions using LOTOS.
Proc. Feature Interactions in Telecommunication Networks V,
pages 1389-1419, IOS Press, Amsterdam, September 1998.
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.
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.
Kenneth J.
Turner. Modular Feature Specification. In Tom Gray, editor, Proc.
MICON 2001, Mitel Networks Corporation, Kanata, Canada, August
2001.
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.
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.
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.
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.
Kenneth J.
Turner. Analysing Interactive Voice Services (pre-publication
version), Computer Networks, 45:665-685, Copyright Elsevier
Science Publishers, Amsterdam, March 2004.
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.
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.
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.
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.
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).
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.
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.
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.
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.
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.
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.
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).
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).
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.
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.
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.
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.
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.
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.
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.
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