STORRE

Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)	Editor(s)	Type
31-Dec-2016	Variable Neighbourhood Search: A Case Study for a Highly-Constrained Workforce Scheduling Problem	Reid, Kenneth Neil; Li, Jingpeng; Swan, Jerry; McCormick, Alistair; Owusu, Gilbert	-	Conference Paper
2003	Representing New Voice Services and Their Features	Turner, Kenneth J	Amyot, Daniel; Logrippo, Luigi	Conference Paper
2007	Ontologies to support Call Control Policies	Campbell, Gavin A; Turner, Kenneth J	Meghanathan, N; Collange, D; Takasaki, Y	Conference Paper
2006	Orchestrating Grid Services using BPEL and Globus Toolkit 4	Tan, Koon Leai Larry; Turner, Kenneth J	Merabti, Madjid; Pereira, Rubem; Oliver, Carol; Abuelma'atti, Omar	Conference Paper
2000	Concurrent Specification and Timing Analysis of Digital Hardware using SDL (extended version)	Turner, Kenneth J; Argul-Marin, F Javier; Laing, Stephen D	Rolim, Jose	Conference Paper
2003	Specifying and Realising Interactive Voice Services	Turner, Kenneth J	Koenig, Harmut; Heiner, Monica; Wolisz, Adam	Conference Paper
May-2008	Conflict Detection in Call Control using First-Order Logic Model Checking	Layouni, Ahmed F; Logrippo, Luigi; Turner, Kenneth J	Bousquet, Lydie du; Richier, Jean-Luc	Conference Paper
2006	Services and Policies for Care at Home	Wang, Feng; Docherty, Liam S; Turner, Kenneth J; Kolberg, Mario; Magill, Evan	Bardram, Jakob E; Chachques, Juan Carlos; Varshney, Upkar	Conference Paper
2006	Development of a Grid Enabled Occupational Data Environment	Lambert, Paul; Tan, Koon Leai Larry; Turner, Kenneth J; Gayle, Vernon; Prandy, Ken; Sinnott, Richard	Procter, Rob	Conference Paper
2007	Enabling Quantitative Data Analysis on Cyberinfrastructures and Grids	Tan, Koon Leai Larry; Lambert, Paul; Gayle, Vernon; Turner, Kenneth J	Olson, Gary; Procter, Rob	Conference Paper
1994	Prototype performance evaluation of multimedia service components	Miloucheva, Ilka; Simeonov, Plamen L; Rebensberg, Klaus; Turner, Kenneth J; Donaldson, A John M	-	Conference Paper
Aug-2001	Modular Feature Specification	Turner, Kenneth J	Gray, Tom	Conference Paper
Sep-1992	LOTOS specification style for OSI	Turner, Kenneth J; van Sinderen, Marten	Brinksma, Ed; Bolognesi, Tommaso; Vissers, Christopher A	Conference Paper
1998	The Invoicing Case Study in (E-)LOTOS	Turner, Kenneth J	Allemand, Michel; Attiogbé, Christian; Habrias, Henri	Conference Paper
Nov-2002	Use of Logic to describe Enhanced Communications Services	Reiff-Marganiec, Stephan; Turner, Kenneth J	Peled, D A; Vardi, M Y	Conference Paper
2008	Considering Side Effects in Service Interactions in Home Automation - An Online Approach	Wilson, Michael; Kolberg, Mario; Magill, Evan	Du Bousquet, L; Richier, J-L	Conference Paper
1997	Requirements for Service Creation Environments	Kosmas, Nikolaos; Turner, Kenneth J	Lovrek, Ignac	Conference Paper
Jun-1997	Relating Services and Features in the Intelligent Network	Turner, Kenneth J	Kunstic, Marijan	Conference Paper
Jun-2003	A Policy Architecture for Enhancing and Controlling Features	Reiff-Marganiec, Stephan; Turner, Kenneth J	Amyot, Daniel; Logrippo, Luigi	Conference Paper
Jun-2014	Towards High-Performance Haplo- type Assembly for Future Sequencing	Aldinucci, Marco; Bracciali, Andrea; Pisanti, Nadia; Torquati, Massimo	-	Conference Paper

This collection contains electronic copies of conference papers and proceedings produced by Computing Science and Mathematics staff.