Computing Science and Mathematics Conference Papers and Proceedings : [179] 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 179
 next >
Issue DateTitleAuthor(s)Editor(s)Type
1-Dec-2016An exploratory case study of interactive simulation for teaching EcologyAmeerbakhsh, Omair; Maharaj, Savi; Hussain, Amir; Paine, C E Timothy; Taiksi, Solene-Conference Paper
May-2005Formalising the Chisel Feature NotationTurner, Kenneth JCalder, Muffy H; Magill, Evan HConference Paper
1998Validating Architectural Feature Descriptions using LOTOSTurner, Kenneth JKimbler, Kristofer; Bouma, L GConference Paper
1997Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version)Reed, Daren A; Turner, Kenneth JCampbell, Andrew; Nahrstedt, KlaraConference Paper
2008Policy Conflicts in Home Care SystemsWang, Feng; Turner, Kenneth JBousquet, Lydie du; Richier, Jean-LucConference Paper
2004Formalising Graphical Behaviour DescriptionsTurner, Kenneth JRattray, C; Maharaj, S; Shankland, CConference Paper
1996Specifying Multimedia Binding Objects in ZSinnott, Richard; Turner, Kenneth JSpaniol, Otto; Linnhoff-Popien, Claudia; Meyer, BerndConference Paper
1996Specifying ODP Computational Objects in ZSinnott, Richard; Turner, Kenneth JNajm, Elie; Stefani, Jean-BernardConference 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 J-Conference Paper
1999Protocol-Inspired Hardware TestingHe, Ji; Turner, Kenneth JCsopaki, Gyula; Dibuz, Sarolta; Tarnay, KatalinConference Paper
2005Handling Policy Conflicts in Call ControlBlair, Lynne; Turner, Kenneth JReiff-Marganiec, Stephan; Ryan, Mark DConference Paper
1999Specification and Verification of Synchronous Hardware using LOTOSHe, Ji; Turner, Kenneth JWu, Jianping; Chanson, Samuel T; Gao, QuiangConference Paper
May-2007Graphical Composition of Grid ServicesTurner, Kenneth J; Tan, Koon Leai LarryGuelfi, Nicolas; Buchs, DidierConference Paper
2006GEODE – Sharing Occupational Data Through The GridTan, Koon Leai Larry; Gayle, Vernon; Lambert, Paul; Sinnott, Richard; Turner, Kenneth JCox, Simon JConference Paper
2008Policy Conflict Filtering for Call ControlCampbell, Gavin A; Turner, Kenneth JBousquet, Lydie du; Richier, Jean-LucConference Paper
2000Verifying and Testing Asynchronous Circuits using LOTOS (extended version)He, Ji; Turner, Kenneth JBolognesi, Tommaso; Latella, DiegoConference Paper
2017Comparing Communities of Optima with Funnels in Combinatorial Fitness LandscapesThomson, Sarah; Daolio, Fabio; Ochoa, Gabriela-Conference Paper
2017Modelling Genetic Improvement Landscapes with Local Optima NetworksVeerapen, Nadarajen; Daolio, Fabio; Ochoa, Gabriela-Conference Paper
2017The Effect of Landscape Funnels in QAPLIB InstancesThomson, Sarah; Ochoa, Gabriela; Daolio, Fabio; Veerapen, Nadarajen-Conference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 179
 next >