STORRE

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

Issue Date	Title	Author(s)	Editor(s)	Type
2011	Telecare Service Challenge: Conflict Detection	Blum, Jesse Michael; Magill, Evan	-	Conference Paper
Jul-2008	Process Algebra Models of Population Dynamics	McCaig, Chris; Norman, Rachel; Shankland, Carron	Horimoto, K; Regensburger, G; Rosenkranz, M; Yoshida, H	Conference Paper
Aug-2011	A New Biology: A Modern Perspective on the Challenge of Closing the Gap between the Islands of Knowledge	Simeonov, Plamen L; Ehresmann, Andree C; Smith, Leslie; Gomez Ramirez, Jaime; Repa, Vaclav	Cezon, M; Wolfsthal, Y	Conference Paper
1995	Visual animation of LOTOS using SOLVE (extended version)	Turner, Kenneth J; McClenaghan, Ashley	Hogrefe, Dieter; Leue, Stefan	Conference Paper
Jul-2003	Formalising Graphical Service Descriptions using SDL	Turner, Kenneth J	Reed, Rick; Reed, Jeanne	Conference Paper
2008	Rule Execution and Event Distribution Middleware for PROSEN-WSN	Fei, Xiang; Magill, Evan	Benveniste, Mathilde; Braem, Bart; Dini Cosmin-Nicu, Cosmin-Nicu; Fortino, Giancarlo; Karnapke, Reinhardt; Mauri, Jaime Lloret; Monsi, M Sohrab H	Conference Paper
2-Feb-2017	Convolutional MKL based multimodal emotion recognition and sentiment analysis	Poria, Soujanya; Chaturvedi, Iti; Cambria, Erik; Hussain, Amir	Bonchi, F; Domingo-Ferrer, J; Baeza-Yates, R; Zhou, Z-H; Wu, X	Conference Paper
13-Feb-2017	A new fast large neighbourhood search for service network design with asset balance constraints	Bai, Ruibin; Woodward, John; Subramanian, Nachiappan	-	Conference Paper
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

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