Kenneth J. Turner

According to our database, Kenneth J. Turner authored at least 77 papers between 1974 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Scientific workflows.

Anna-Lena Lamprecht, Kenneth J. Turner

Int. J. Softw. Tools Technol. Transf., 2016

2015

Workflows for quantitative data analysis in the social sciences.

Kenneth J. Turner, Paul S. Lambert

Int. J. Softw. Tools Technol. Transf., 2015

2014

Managing home care with loose goals and policies.

Kenneth J. Turner

J. Ambient Intell. Smart Environ., 2014

Track Introduction: Scientific Workflows.

Joost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Special Issue on Feature interaction in communications and software systems.

Kenneth J. Turner, Evan H. Magill

Comput. Networks, 2013

Policy conflicts in home automation.

Claire Maternaghan, Kenneth J. Turner

Comput. Networks, 2013

2012

Rigorous development of composite grid services.

Kenneth J. Turner, Koon Leai Larry Tan

J. Netw. Comput. Appl., 2012

2011

Rigorous development of prompting dialogues.

Kenneth J. Turner, Alex Gillespie, Lynne J. McMichael

J. Biomed. Informatics, 2011

Flexible management of smart homes.

Kenneth J. Turner

J. Ambient Intell. Smart Environ., 2011

Programming home care.

Claire Maternaghan, Kenneth J. Turner

Proceedings of the 5th International Conference on Pervasive Computing Technologies for Healthcare, 2011

A configurable telecare system.

Claire Maternaghan, Kenneth J. Turner

Proceedings of the PETRA 2011, 2011

2010

Device Services for The Home.

Kenneth J. Turner

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

A Component Framework for Telecare and Home Automation.

Claire Maternaghan, Kenneth J. Turner

Proceedings of the 7th IEEE Consumer Communications and Networking Conference, 2010

2009

Abstraction and analysis of clinical guidance trees.

Kenneth J. Turner

J. Biomed. Informatics, 2009

An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems.

Feng Wang, Kenneth J. Turner

Proceedings of the Ambient Assistive Health and Wellness Management in the Heart of the City, 2009

Managing Data in E-Social Science.

Kenneth J. Turner, Koon Leai Larry Tan, Jesse M. Blum, Guy C. Warner, Simon B. Jones, Paul S. Lambert

Proceedings of the Eighth International Conference on Networks, 2009

Managing Home Care Networks.

Kenneth J. Turner, Liam S. Docherty, Feng Wang, Gavin A. Campbell

Proceedings of the Eighth International Conference on Networks, 2009

A Rigorous Methodology for Composing Services.

Kenneth J. Turner, Koon Leai Larry Tan

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Goals and Conflicts in Telephony.

Kenneth J. Turner, Gavin A. Campbell

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Towards personalised home care systems.

Feng Wang, Kenneth J. Turner

Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, 2008

2007

Representing and analysing composed web services using Cress.

Kenneth J. Turner

J. Netw. Comput. Appl., 2007

Data Curation Standards and Social Science Occupational Information Resources.

Paul S. Lambert, Vernon Gayle, Koon Leai Larry Tan, Kenneth J. Turner, Richard O. Sinnott, Ken Prandy

Int. J. Digit. Curation, 2007

A rigorous approach to orchestrating grid services.

Kenneth J. Turner, Koon Leai Larry Tan

Comput. Networks, 2007

Policies and conflicts in call control.

Kenneth J. Turner, Lynne Blair

Comput. Networks, 2007

Policy Conflicts in Home Care Systems.

Feng Wang, Kenneth J. Turner

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007

Conflict Detection in Call Control Using First-Order Logic Model Checking.

Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007

Policy Conflict Filtering for Call Control.

Gavin A. Campbell, Kenneth J. Turner

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007

Ontologies to Support Call Control Policies.

Gemma A. Campbell, Kenneth J. Turner

Proceedings of the Third Advanced International Conference on Telecommunications (AICT 2007), 2007

2006

Validating feature-based specifications.

Kenneth J. Turner

Softw. Pract. Exp., 2006

Policy support for call control.

Kenneth J. Turner, Stephan Reiff-Marganiec, Lynne Blair, Jianxiong Pang, Tom Gray, Peter Perry, Joe Ireland

Comput. Stand. Interfaces, 2006

Graphical Composition of Grid Services.

Kenneth J. Turner, Koon Leai Larry Tan

Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

Services and Policies for Care At Home.

Feng Wang, Liam S. Docherty, Kenneth J. Turner, Mario Kolberg, Evan H. Magill

Proceedings of the 1st International ICST Conference on Pervasive Computing Technologies for Healthcare, 2006

2005

Test generation for radiotherapy accelerators.

Kenneth J. Turner

Int. J. Softw. Tools Technol. Transf., 2005

Policy support for H.323 call handling.

Tingxue Huang, Kenneth J. Turner

Comput. Stand. Interfaces, 2005

Formalising Interactive Voice Services with SDL.

Kenneth J. Turner

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Formalising Web Services.

Kenneth J. Turner

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Handling Policy Conflicts in Call Control.

Lynne Blair, Kenneth J. Turner

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004

Analysing interactive voice services.

Kenneth J. Turner

Comput. Networks, 2004

Feature interaction in policies.

Stephan Reiff-Marganiec, Kenneth J. Turner

Comput. Networks, 2004

Formalising Graphical Behaviour Descriptions.

Kenneth J. Turner

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Formalizing Graphical Service Descriptions Using SDL.

Kenneth J. Turner

Proceedings of the SDL 2003: System Design, 2003

Specifying and Realising Interactive Voice Services.

Kenneth J. Turner

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Representing New Voice Services and Their Features.

Kenneth J. Turner

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

A Policy Architecture for Enhancing and Controlling Features.

Stephan Reiff-Marganiec, Kenneth J. Turner

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2002

Protocol animation.

Kenneth J. Turner

Comput. Networks, 2002

Protocol Techniques for Testing Radiotherapy Accelerators.

Kenneth J. Turner, Qian Bing

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

Modelling SIP Services Using CRESS.

Kenneth J. Turner

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

Use of Logic to Describe Enhanced Communications Services.

Stephan Reiff-Marganiec, Kenneth J. Turner

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

An interactive visual protocol simulator.

Kenneth J. Turner, Iain A. Robin

Comput. Stand. Interfaces, 2001

Formally-Based Design Evaluation.

Kenneth J. Turner, Ji He

Proceedings of the Correct Hardware Design and Verification Methods, 2001

Specifying Hardware Timing with ET-L OTOS.

Ji He, Kenneth J. Turner

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

The N-Body Problem in LOTOS.

Kenneth J. Turner

Proceedings of the Formal Methods Elsewhere, 2000

Extended Kalman filter synthesis for integrated global positioning/inertial navigation systems.

Farhan A. Faruqi, Kenneth J. Turner

Appl. Math. Comput., 2000

Concurrent Specification and Timing Analysis of Digital Hardware Using SDL.

Kenneth J. Turner, F. Javier Argul-Marin, Stephen D. Laing

Proceedings of the Parallel and Distributed Processing, 2000

Verifying and Testing Asynchronous Circuits using LOTOS.

Ji He, Kenneth J. Turner

Proceedings of the Formal Techniques for Distributed System Development, 2000

Formalising the Chisel Feature Notation.

Kenneth J. Turner

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Structuring Telecommunications Features.

Kenneth J. Turner

Proceedings of the Language Constructs for Describing Features, 2000

1999

Protocol-Inspired Hardware Testing.

Ji He, Kenneth J. Turner

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Specification and Verification of Synchronous Hardware using LOTOS.

Ji He, Kenneth J. Turner

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

An Architectural Description of Intelligent Network Features and Their Interactions.

Kenneth J. Turner

Comput. Networks, 1998

Validating Architectural Feature Descriptions using LOTOS.

Kenneth J. Turner

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

Incremental Requirements Specification with LOTOS.

Kenneth J. Turner

Requir. Eng., 1997

Specification Architecture.

Kenneth J. Turner, Giuseppe Scollo

Comput. Networks ISDN Syst., 1997

Relating Architecture and Specification.

Kenneth J. Turner

Comput. Networks ISDN Syst., 1997

Specification Architecture Illustrated in a Communications Context.

Kenneth J. Turner

Comput. Networks ISDN Syst., 1997

Applying the Architectural Semantics of ODP to Develop a Trader Specification.

Richard O. Sinnott, Kenneth J. Turner

Comput. Networks ISDN Syst., 1997

A Gaussian sum filtering approach for phase ambiguity resolution in GPS attitude determination.

Kenneth J. Turner, Farhan A. Faruqi

Proceedings of the 1997 IEEE International Conference on Acoustics, 1997

Modelling Digital Logic in SDL.

Gyula Csopaki, Kenneth J. Turner

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

An Architectural Foundation for Relating Features.

Kenneth J. Turner

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1996

Specifying Multimedia Binding Objects in Z.

Richard O. Sinnott, Kenneth J. Turner

Proceedings of the Trends in Distributed Systems: CORBA and Beyond, 1996

Gps/ins Integrated Navigation Using a Gps Antenna Array.

Kenneth J. Turner, Farhan A. Faruqi

Proceedings of the Fourth International Symposium on Signal Processing and Its Applications, 1996

1994

Visual animation of LOTOS using SOLVE.

Kenneth J. Turner, Ashley McClenaghan

Proceedings of the Formal Description Techniques VII, 1994

1993

An Engineering Approach to Formal Methods.

Kenneth J. Turner

Proceedings of the Protocol Specification, 1993

DILL: Specifying Digital Logic in LOTOS.

Kenneth J. Turner, Richard O. Sinnott

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1989

A LOTOS-Based Development Strategy.

Kenneth J. Turner

Proceedings of the Formal Description Techniques, 1989

1987

An Architectural Semantics for LOTOS.

Kenneth J. Turner

Proceedings of the Protocol Specification, 1987

1974

Computer perception of curved objects using a television camera.

Kenneth J. Turner

PhD thesis, 1974