University of Stirling    STORRE: Stirling Online Research Repository University Circle Images   Research Led, Student Focused  
 

STORRE >

Browsing by Author Turner, Kenneth J

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 20 of 77
 next >
Issue DateTitleAuthor(s)Type
Apr-2009Abstraction and Analysis of Clinical Guidance TreesTurner, Kenneth JJournal Article
Dec-2005The ACCENT Policy ServerReiff-Marganiec, Stephan; Turner, Kenneth JTechnical Report
Apr-2009The ACCENT Policy WizardTurner, Kenneth J; Campbell, Gavin ATechnical Report
Nov-2013Advances in Telecare over The Past Ten YearsTurner, Kenneth J; McGee-Lennon, MarilynJournal Article
Apr-2009APPEL: An Adaptable and Programmable Policy Environment and LanguageTurner, Kenneth J; Reiff-Marganiec, Stephan; Blair, Lynne; Campbell, Gavin A; Wang, FengTechnical Report
Jun-1997An Architectural Foundation for Relating FeaturesTurner, Kenneth JConference Paper
Nov-2007Automated Analysis and Implementation of Composed Grid ServicesTan, Koon Leai Larry; Turner, Kenneth JConference Paper
Jan-2010A Component Framework for Telecare and Home AutomationMaternaghan, Claire; Turner, Kenneth JPart of book or chapter of book
2000Concurrent Specification and Timing Analysis of Digital Hardware using SDL (extended version)Turner, Kenneth J; Argul-Marin, F Javier; Laing, Stephen DConference Paper
May-2011A Configurable Telecare SystemMaternaghan, Claire; Turner, Kenneth JPart of book or chapter of book
May-2008Conflict Detection in Call Control using First-Order Logic Model CheckingLayouni, Ahmed F; Logrippo, Luigi; Turner, Kenneth JConference Paper
Apr-1988Constraint-Oriented Style in LOTOSTurner, Kenneth JConference Paper
Dec-2008The DAMES Metadata ApproachBlum, Jesse Michael; Turner, Kenneth JTechnical Report
2006Development of a Grid Enabled Occupational Data EnvironmentLambert, Paul; Tan, Koon Leai Larry; Turner, Kenneth J; Gayle, Vernon; Prandy, Ken; Sinnott, RichardConference Paper
Jun-2010Device services for the homeTurner, Kenneth JPart of book or chapter of book
1994DILL: Specifying digital logic in LOTOSTurner, Kenneth J; Sinnott, RichardConference Paper
2007Enabling Quantitative Data Analysis on Cyberinfrastructures and GridsTan, Koon Leai Larry; Lambert, Paul; Gayle, Vernon; Turner, Kenneth JConference Paper
Nov-2009Enabling Quantitative Data Analysis through e-InfrastructureTan, Koon Leai Larry; Lambert, Paul; Turner, Kenneth J; Blum, Jesse Michael; Gayle, Vernon; Jones, Simon; Sinnott, Richard; Warner, GuyJournal Article
1993An engineering approach to formal methodsTurner, Kenneth JConference Paper
Apr-2011Flexible Management of Smart HomesTurner, Kenneth JJournal Article
Showing results 1 to 20 of 77
 next >

 

Valid XHTML 1.0! Repository Service Operated by Information Services, University of Stirling
Powered by DSpace Software Copyright © 2002-2010  Duraspace - Feedback