Collection's Items (Sorted by Submit Date in Descending order): 321 to 340 of 429
Issue Date | Title | Author(s) | Editor(s) | Type |
May-2007 | Graphical Composition of Grid Services | Turner, Kenneth J; Tan, Koon Leai Larry | Guelfi, Nicolas; Buchs, Didier | Conference Paper |
2006 | GEODE – Sharing Occupational Data Through The Grid | Tan, Koon Leai Larry; Gayle, Vernon; Lambert, Paul; Sinnott, Richard; Turner, Kenneth J | Cox, Simon J | Conference Paper |
2008 | Policy Conflict Filtering for Call Control | Campbell, Gavin A; Turner, Kenneth J | Bousquet, Lydie du; Richier, Jean-Luc | Conference Paper |
2000 | Verifying and Testing Asynchronous Circuits using LOTOS (extended version) | He, Ji; Turner, Kenneth J | Bolognesi, Tommaso; Latella, Diego | Conference Paper |
2017 | Comparing Communities of Optima with Funnels in Combinatorial Fitness Landscapes | Thomson, Sarah; Daolio, Fabio; Ochoa, Gabriela | - | Conference Paper |
2017 | Modelling Genetic Improvement Landscapes with Local Optima Networks | Veerapen, Nadarajen; Daolio, Fabio; Ochoa, Gabriela | - | Conference Paper |
2017 | The Effect of Landscape Funnels in QAPLIB Instances | Thomson, Sarah; Ochoa, Gabriela; Daolio, Fabio; Veerapen, Nadarajen | - | Conference Paper |
Jul-2016 | Communities of Local Optima as Funnels in Fitness Landscapes | Herrmann, Sebastian; Ochoa, Gabriela; Rothlauf, Franz | Friedrich, T | Conference Paper |
7-Jul-2017 | Local Optima Networks for the Permutation Flowshop Scheduling Problem: Makespan vs. Total Flow Time | Hernando, Leticia; Daolio, Fabio; Veerapen, Nadarajen; Ochoa, Gabriela | - | Conference Paper |
Apr-2010 | Verification and Validation Of An Agent-Based Forest Fire Simulation Model | Niazi, Muaz A K; Siddique, Qasim; Hussain, Amir; Kolberg, Mario | - | Conference Paper |
Sep-2011 | SimConnector: An Approach to Testing Disaster-Alerting Systems Using Agent Based Simulation Models | Niazi, Muaz A K; Siddique, Qasim; Hussain, Amir; Fortino, Giancarlo | - | Conference Paper |
2008 | Simulation of the research process | Niazi, Muaz A K; Hussain, Amir; Baig, Abdul Rauf; Bhatti, Saeed | Mason, Scott; Hill, Ray; Mönch, Lars; Rose, Oliver | Conference Paper |
1993 | An engineering approach to formal methods | Turner, Kenneth J | Danthine, A; Leduc, Guy; Wolper, Pierre | Conference Paper |
Aug-2011 | Events, Neural Systems and Time Series | Smith, Leslie; Metz, Daniel; Bao, Jungpen; Bizarro, Pedro | Cezon, M; Wolfsthal, Y | Conference Paper |
2001 | Specifying Hardware Timing with ET-LOTOS (extended version) | He, Ji; Turner, Kenneth J | Margaria, Tiziana; Melham, Thomas F | Conference Paper |
2009 | Dynamically Programmable m-Psychiatry System For Self-Management of Bipolar Disorder | Blum, Jesse Michael; Magill, Evan | James, Christopher J; Demanuele Charmaine, Charmaine; Jimenez-Gonzalez, Aida | Conference Paper |
2009 | A Framework for Mobile Applications based on a structured P2P Overlay | Kolberg, Mario; Wilson, Michael; Blunn, Martin; Magill, Evan; Burtwistle, Peter | - | Conference Paper |
2009 | Personalised Ambient Monitoring (PAM) for People with Bipolar Disorder | Prociow, Pawel A; Crowe, John A; Brailsford, Sally C; James, Christopher J; Magill, Evan; Amor, James D; Blum, Jesse Michael; Mohiuddin, Syed Golam | Jordanova, Malina; Lievens, Frank | Conference Paper |
2010 | A communications-enabled collaboration platform: work in progress | Buford, John; Dhara, Kishore; Wu, Xiaotao; Krishnaswamy, Venky; Kolberg, Mario | Carle, Georg; Reiser, Helmut; Camarillo, Gonzalo; Gurbani, Vijay K | Conference Paper |
Jun-1997 | An Architectural Foundation for Relating Features | Turner, Kenneth J | Dini Petre, Petre; Boutaba, Raouf; Logrippo, Luigi | Conference Paper |
Collection's Items (Sorted by Submit Date in Descending order): 321 to 340 of 429