Computing Science and Mathematics Conference Papers and Proceedings : [178] Collection home page

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

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 178
 next >
Issue DateTitleAuthor(s)Editor(s)Type
2003Representing New Voice Services and Their FeaturesTurner, Kenneth JAmyot, Daniel; Logrippo, LuigiConference Paper
2007Ontologies to support Call Control PoliciesCampbell, Gavin A; Turner, Kenneth JMeghanathan, N; Collange, D; Takasaki, YConference Paper
2001Formally-Based Design Evaluation (extended version)Turner, Kenneth J; He, JiMargaria, Tiziana; Melham, Thomas FConference Presentation
2006Orchestrating Grid Services using BPEL and Globus Toolkit 4Tan, Koon Leai Larry; Turner, Kenneth JMerabti, Madjid; Pereira, Rubem; Oliver, Carol; Abuelma'atti, OmarConference Paper
2000Concurrent Specification and Timing Analysis of Digital Hardware using SDL (extended version)Turner, Kenneth J; Argul-Marin, F Javier; Laing, Stephen DRolim, JoseConference Paper
1996Specification and Animation of Reactive SystemsTurner, Kenneth J; McClenaghan, Ashley; Chan, ColinAtalay, Volkan; Halici, Ugur; Inan, Kemal; Yalabik, Nese; Yazici, AdnanConference Presentation
2003Specifying and Realising Interactive Voice ServicesTurner, Kenneth JKoenig, Harmut; Heiner, Monica; Wolisz, AdamConference Paper
May-2008Conflict Detection in Call Control using First-Order Logic Model CheckingLayouni, Ahmed F; Logrippo, Luigi; Turner, Kenneth JBousquet, Lydie du; Richier, Jean-LucConference Paper
Nov-2007Automated Analysis and Implementation of Composed Grid ServicesTan, Koon Leai Larry; Turner, Kenneth JDranidis, Dimitrios; Sakellariou, IliasConference Presentation
2006Services and Policies for Care at HomeWang, Feng; Docherty, Liam S; Turner, Kenneth J; Kolberg, Mario; Magill, EvanBardram, Jakob E; Chachques, Juan Carlos; Varshney, UpkarConference Paper
Oct-2005Formalising Web ServicesTurner, Kenneth JWang, FConference Presentation
Dec-2010Feature Interaction Analysis for Collaboration Spaces with Communication EndpointsKolberg, Mario; Buford, John; Dhara, Kishore; Wu, Xiaotao; Krishnaswamy, Venky-Conference Paper
May-2005Formalising the Chisel Feature NotationTurner, Kenneth JCalder, Muffy H; Magill, Evan HConference Paper
2008Policy Conflicts in Home Care SystemsWang, Feng; Turner, Kenneth JBousquet, Lydie du; Richier, Jean-LucConference Paper
1997Modelling Digital Logic in SDLCsopaki, Gyula; Turner, Kenneth JMizuno, Tadanori; Shiratori, Norio; Higashino, Teruo; Togashi, AtsushiConference Paper
May-2001The N-Body Problem in LOTOSTurner, Kenneth JBowman, HowardConference Paper
2006Development of a Grid Enabled Occupational Data EnvironmentLambert, Paul; Tan, Koon Leai Larry; Turner, Kenneth J; Gayle, Vernon; Prandy, Ken; Sinnott, RichardProcter, RobConference Paper
2007Enabling Quantitative Data Analysis on Cyberinfrastructures and GridsTan, Koon Leai Larry; Lambert, Paul; Gayle, Vernon; Turner, Kenneth JOlson, Gary; Procter, RobConference Paper
1996Specifying Multimedia Binding Objects in ZSinnott, Richard; Turner, Kenneth JSpaniol, Otto; Linnhoff-Popien, Claudia; Meyer, BerndConference Paper
1994Prototype performance evaluation of multimedia service componentsMiloucheva, Ilka; Simeonov, Plamen L; Rebensberg, Klaus; Turner, Kenneth J; Donaldson, A John M-Conference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 178
 next >