Items where Research Area is "A. > School of Science and Technology > Computer Science > SensoLab group"

See full list of headings
Export as [feed] RSS 1.0
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1997 | 1996 | 1995 | 1994 | 1993
Number of items at this level: 389.

2016

Doddapaneni, Krishna and Tasiran, Ali Cevat and Ever, Enver and Omondi, Fredrick and Shah, Purav and Mostarda, Leonardo and Gemikonakli, Orhan (2016) Does the assumption of exponential arrival distributions in wireless sensor networks hold? International Journal of Sensor Networks . ISSN 1748-1287 (Accepted/In press)

2015

Barn, Balbir and Barn, Ravinder and Raimondi, Franco (2015) On the role of value sensitive concerns in software engineering practice. In: 37th International Conference on Software Engineering, ICSE Companion, 22-24 May 2015, Florence, Italy. (Accepted/In press)

Doddapaneni, Krishna and Shah, Purav and Ever, Enver and Tasiran, Ali Cevat and Omondi, Fredrick and Mostarda, Leonardo and Gemikonakli, Orhan (2015) Packet arrival analysis in wireless sensor networks. In: IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2015, 24-27 Mar 2015, Gwangiu, South Korea.

Omondi, Fredrick and Shah, Purav and Gemikonakli, Orhan and Ever, Enver (2015) A framework for energy based performability models for wireless sensor networks. In: IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015), 24-27 Mar 2015, Gwangju, South Korea.

To, Duc and Nguyen, Huan X. and Vien, Quoc-Tuan and Huang, Li-Ke (2015) Power allocation for HARQ-IR systems under QoS constraints and limited feedback. IEEE Transactions on Wireless Communications, 14 (3). pp. 1581-1594. ISSN 1536-1276

Vien, Quoc-Tuan and Nguyen, Huan X. and Stewart, Brian G. and Choi, Jinho and Tu, Wanqing (2015) On the energy-delay tradeoff and relay positioning of wireless butterfly networks. IEEE Transactions on Vehicular Technology, 64 (1). pp. 159-172. ISSN 0018-9545

2014

Aiash, Mahdi and Loo, Jonathan (2014) An integrated authentication and authorization approach for the network of information architecture. Journal of Network and Computer Applications . ISSN 1084-8045

Aiash, Mahdi and Mapp, Glenford E. and Gemikonakli, Orhan (2014) Secure live virtual machines migration: issues and solutions. In: IEEE AINA 2014, 13-16 May 2014, Victoria, BC, Canada.

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Loo, Jonathan (2014) A secure framework for communications in heterogeneous networks. In: WAINA 2014 28th International Conference on Advanced Information Networking and Applications Workshops, 13-16 May 2014, Victoria, BC.

Androutsopoulos, Kelly and Gorogiannis, Nikos and Loomes, Martin J. and Margolis, M. and Primiero, Giuseppe and Raimondi, Franco and Varsani, Puji and Weldin, N. and Zivanovic, Aleksandar (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France.

Doddapaneni, Krishna and Omondi, Fredrick and Ever, Enver and Shah, Purav and Gemikonakli, Orhan and Gagliardi, Roberto (2014) Deployment challenges and developments in wireless sensor networks clustering. In: Advanced Information Networking and Applications Workshops (WAINA), 2014 28th International Conference on, 13-16 May 2014, Victoria, Canada.

Ghosh, Arindam and Parathaman, Vardhan Visgnu and Mapp, Glenford E. and Gemikonakli, Orhan (2014) Exploring efficient seamless handover in VANET systems using network dwell time. EURASIP Journal on Wireless Communications and Networking, 2014 (1). pp. 1-19. ISSN 1687-1472

Le, Hoang H. and Loureiro, Rui C. V. and Dussopt, Florian and Phillips, Nicholas and Zivanovic, Aleksandar and Loomes, Martin J. (2014) Soundscape and haptic cues in an interactive painting: a study with autistic children. In: IEEE International Conference on Biomedical Robotics and Biomechatronics, August 12-15, 2014, Anhembi Convention Center in São Paulo, Brazil.

Loo, Jonathan and Aiash, Mahdi (2014) Challenges and solutions for secure information centric networks: a case study of the NetInf architecture. Journal of Network and Computer Applications . ISSN 1084-8045

Lyamin, Nikita and Vinel, Alexey and Jonsson, Magnus and Loo, Jonathan (2014) Real-time detection of denial-of-service attacks in IEEE 802.11p vehicular networks. IEEE Communication Letters, 18 (1). pp. 110-113. ISSN 1089-7798

Maher, Brian and Albrecht, Andreas A. and Loomes, Martin J. and Yang, Xin-She and Steinhofel, Kathleen (2014) A Firefly-inspired method for protein structure prediction in lattice models. Biomolecules, 4 (1). pp. 56-75. ISSN 2218-273X

Mirzamany, Esmat and Lasebae, Aboubaker and Gemikonakli, Orhan (2014) Comparison between resource reservation protocol and next steps in signalling in mobile IP networks. IET Networks . pp. 1-10. ISSN 2047-4954

Mirzamany, Esmat and Lasebae, Aboubaker and Gemikonakli, Orhan (2014) SLA based MT-routing for future internet. In: Wireless World Research Forum Meeting 32, 18-22 May 2014, Marrakech, Morocco.

Mirzamany, Esmat and Lasebae, Aboubaker and Gemikonakli, Orhan (2014) An efficient traffic engineering based on multi-topology routing for future internet. Computer Networks . ISSN 1389-1286

Sule, Clifford and Shah, Purav and Doddapaneni, Krishna and Gemikonakli, Orhan and Ever, Enver (2014) On demand multicast routing in wireless sensor networks. In: Advanced Information Networking and Applications Workshops (WAINA), 2014 28th International Conference on, 13-16 May 2014, Victoria, Canada.

Vien, Quoc-Tuan and Nguyen, Huan X. (2014) Network coding-based channel quality indicator reporting for two-way multi-relay networks. Wireless Communications and Mobile Computing, 14 (15). pp. 1471-1483. ISSN 1530-8669

Vien, Quoc-Tuan and Nguyen, Huan X. and Gemikonakli, Orhan and Barn, Balbir (2014) An efficient cooperative spectrum sensing under bandwidth constraint with user selection. Vehicular Technology Conference (VTC Fall), 2014 IEEE 80th . pp. 1-5. ISSN 1090-3038

Vien, Quoc-Tuan and Nguyen, Huan X. and Shah, Purav and Ever, Enver and To, Duc (2014) Relay selection for efficient HARQ-IR protocols in relay-assisted multisource multicast networks. In: 2014 IEEE 79th Vehicular Technology Conference: VTC2014-Spring, 18-21 May 2014, Seoul, Korea.

Vien, Quoc-Tuan and Stewart, Brian G. and Nguyen, Huan X. and Gemikonakli, Orhan (2014) Distributed space-time-frequency block code for cognitive wireless relay networks. IET Communications, 8 (5). pp. 754-766. ISSN 1751-8628

Vien, Quoc-Tuan and Tu, Wanqing and Nguyen, Huan X. and Trestian, Ramona (2014) Cross-layer optimisation for topology design of wireless multicast networks via network coding. In: 39th Conference on Local Computer Networks (LCN), 8-11 Sept 2014, Edmonton, Canada.

Vien, Quoc-Tuan and Tu, Wanqing and Nguyen, Huan X. and Trestian, Ramona (2014) Cross-layer optimisation for topology design of wireless multicast networks via network coding. 39th Annual IEEE Conference on Local Computer Networks . pp. 466-469. ISSN 0742-1303

2013

Aiash, Mahdi and Loo, Jonathan (2013) Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. International Journal of Communication Systems . ISSN 1074-5351 (Accepted/In press)

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Phan, Raphael and Loo, Jonathan (2013) Integrating mobility, quality-of-service and security in future mobile networks. In: Electrical Engineering and Intelligent Systems. Ao, Sio-Iong and Gelman, Len, eds. Lecture Notes in Electrical Engineering, 130 (130). Springer, New York, pp. 195-206. ISBN 9781461423164

Alrajeh, Nabil Ali and Khan, Shafiullah and Lloret, Jaime and Loo, Jonathan (2013) Secure routing protocol using cross-layer design and energy harvesting in wireless sensor networks. International Journal of Distributed Sensor Networks, 2013 . ISSN 1550-1329

Baskaran, Vishnu Monn and Chang, Yoong Choon and Loo, Jonathan and Wong, KokSheik (2013) Software-based serverless endpoint video combiner architecture for high-definition multiparty video conferencing. Journal of Network and Computer Applications, 36 (1). pp. 336-352. ISSN 1084-8045

Clark, Tony (2013) Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013. In: First International Workshop: Towards the Model Driven Organization (AMINO 2013), 29 Sep - 04 Oct 2013, Miami, FL, USA. (Accepted/In press)

Clark, Tony and Barn, Balbir (2013) Dynamic reconfiguration of event driven architecture using reflection and higher-order functions. International Journal of Software and Informatics, 7 (2). pp. 137-168. ISSN 1673-7288

Clark, Tony and Willans, James (2013) Software language engineering with XMF and XModeler. In: Formal and practical aspects of domain-specific languages: recent developments. Mernik, Marjan, ed. IGI Global, pp. 311-340. ISBN 9781466620926

Ever, Enver and Gemikonakli, Orhan and Kocyigit, Altan and Gemikonakli, Eser (2013) A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues. Journal of Network and Computer Applications, 36 (2). pp. 908-926. ISSN 1084-8045

Gao, Alice and Li, Wei and Lin, Chiang and Loomes, Martin J. and Gao, Xiaohong W. (2013) Cardiac motion reconstruction using LKT algorithm from 2D and 3D echocardiography. In: IPCV'13 - The 2013 International Conference on Image Processing, Computer Vision, and Pattern Recognition. CSRES Press. ISBN 1601322542

Gemikonakli, Eser and Mapp, Glenford E. and Gemikonakli, Orhan and Ever, Enver (2013) Exploring service and buffer management issues to provide integrated voice and data services in single and multi channel wireless networks. In: The 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013), 25-28 Mar 2013, Barcelona, Spain.

Gemikonakli, Eser and Mapp, Glenford E. and Gemikonakli, Orhan and Ever, Enver (2013) Exploring service and buffer management issues to provide integrated voice and data services in single and multi-channel wireless networks. In: 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA). Association for Computing Machinery, pp. 1056-1063. ISBN 9780769549538

Joshi, Yetish and Shah, Purav and Loo, Jonathan and Rahman, Shahedur (2013) Review of standard traditional distortion metrics and a need for perceptual distortion metric at a (sub) macroblock level. In: IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (IEEE BMSB), 4-7 June 2013, Brunel University, Uxbridge, UK.

Kirsal, Yonal and Ever, Enver and Mapp, Glenford E. and Gemikonakli, Orhan (2013) Enhancing the modelling of vertical handover in integrated cellular/WLAN environments. In: The 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013), 25-28 March 2013, Barcelona, Spain.

Kodagoda, Neesha and Attfield, Simon and Choudhury, Sharmin (Tinni) and Rooney, Chris and Mapp, Glenford E. and Nguyen, Phong H. and Slabbert, Louis and Wong, B. L. William and Aiash, Mahdi and Zheng, Yongjun and Xu, Kai and Lasebae, Aboubaker (2013) Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness. Information Visualization . ISSN 1473-8716 (Accepted/In press)

Le, Hoang H. and Loomes, Martin J. and Loureiro, Rui C. V. (2013) Mapping arm movements to robotic sonic interaction promote group dynamics and increase engagement at a task. In: Converging Clinical and Engineering Research on Neurorehabilitation. Pons, José L. and Torricelli, Diego and Pajaro, Marta, eds. Biosystems & Biorobotics (1). Springer, pp. 843-846. ISBN 9783642345456

Le, Hoang H. and Loureiro, Rui C. V. and Dussopt, Florian and Phillips, Nicholas and Zivanovic, Aleksandar and Loomes, Martin J. (2013) A haptically enhanced painting as a tool for neurorehabilitation. In: 2013 IEEE International Conference on Rehabilitation Robotics, 24-26 Jun 2013, Seattle, WA, USA.

Liu, Dantong and Chen, Yue and Zhang, Tiankui and Chai, Kok Keong and Loo, Jonathan and Vinel, Alexey (2013) Stackelberg game based cooperative user relay assisted load balancing in cellular networks. IEEE Communications Letters, 17 (2). pp. 424-427. ISSN 1089-7798

Mirzamany, Esmat and Lasebae, Aboubaker and Gemikonakli, Orhan (2013) Efficient NSIS mobility support for mobile networks. In: 24th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 08-11 Sep 2013, London, UK.

Mirzamany, Esmat and Lasebae, Aboubaker and Gemikonakli, Orhan (2013) An efficient resource reservation for domain based mobile IP networks: analytical approach. In: IEEE 77th Vehicular Technology Conference (VTC2013-Spring), 02-05 Jun 2013, Dresden, Germany.

Omondi, Fredrick and Ever, Enver and Shah, Purav and Gemikonakli, Orhan (2013) Modelling wireless sensor networks for performability evaluation. In: The 12th International Conference on Ad Hoc Networks and Wireless, (ADHOC-NOW 2013), 08-10 Jul 2013, Wrocław, Poland.

Reinhartz-Berger, Iris and Sturm, Arnon and Clark, Tony and Cohen, Sholom and Bettin, Jorn, eds. (2013) Domain engineering : product lines, languages, and conceptual models. Springer. ISBN 9783642366543

Sardis, Fragkiskos and Mapp, Glenford E. and Loo, Jonathan and Aiash, Mahdi and Vinel, Alexey (2013) On the investigation of cloud-based mobile media environments with service-populating and QoS-aware mechanisms. IEEE Transactions on Multimedia . ISSN 1520-9210

Sardis, Fragkiskos and Mapp, Glenford E. and Loo, Jonathan (2013) Cloud-based service delivery architecture with service-populating and mobility-aware mechanisms. In: Mobile networks and cloud computing convergence for progressive services and applications. Rodrigues, Joel J. P. C. and Lin, Kai and Lloret, Jaime, eds. IGI Global, pp. 183-199. ISBN 9781466647817

Shi, Daming and Gao, Junbin and Rahmdel, Payam S. and Antolovich, Michael and Clark, Tony (2013) UND: unite-and-divide method in Fourier and Radon domains for line segment detection. IEEE Transactions on Image Processing, 22 (6). pp. 2500-2505. ISSN 1057-7149

Vien, Quoc-Tuan and Nguyen, Huan X. and Gemikonakli, Orhan and Barn, Balbir (2013) Performance analysis of cooperative transmission for cognitive wireless relay networks. Global Communications Conference (GLOBECOM), 2013 IEEE . pp. 4186-4191. ISSN 1930-529X

Vien, Quoc-Tuan and Nguyen, Huan X. and Tu, Wanqing (2013) Optimal relay positioning for green wireless network-coded butterfly networks. IEEE 24th International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), 2013 . pp. 286-290. ISSN 2166-9570

Vien, Quoc-Tuan and Stewart, Brian G. and Choi, Jinho and Nguyen, Huan X. (2013) On the energy efficiency of HARQ-IR protocols for wireless network-coded butterfly networks. 2013 IEEE Wireless Communications and Networking Conference (WCNC 2013) . pp. 2559-2564. ISSN 1525-3511

Vien, Quoc-Tuan and Stewart, Brian G. and Tianfield, Huaglory and Nguyen, Huan X. (2013) Cooperative retransmission for wireless regenerative multirelay networks. IEEE Transactions on Vehicular Technology, 62 (2). pp. 735-747. ISSN 0018-9545

Vien, Quoc-Tuan and Stewart, Brian G. and Tianfield, Huaglory and Nguyen, Huan X. (2013) Efficient cooperative spectrum sensing for three-hop cognitive wireless relay networks. IET Communications, 7 (2). pp. 119-127. ISSN 1751-8628

2012

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Loo, Jonathan and Sardis, Fragkiskos and Phan, Raphael and Augusto, Mario and Moreira, Edson and Vanni, Renata M. P. (2012) A survey of potential architectures for communication in heterogeneous networks. In: Wireless telecommunications symposium (WTS), 2012. IEEE, pp. 1-6. ISBN 9781457705809

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Phan, Raphael and Loo, Jonathan (2012) A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. EURASIP Journal on Wireless Communications and Networking, 2012 (57). ISSN 1687-1499

Aiash, Mahdi and Mapp, Glenford E. and Phan, Raphael and Lasebae, Aboubaker and Loo, Jonathan (2012) A formally verified device authentication protocol using Casper/FDR. In: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). Min, Geyong and Wu, Yulei and Liu, Lei (Chris) and Jin, Xiaolong and Jarvis, Stephen and Al-Dubai, Ahmed Y., eds. IEEE, pp. 1293-1298. ISBN 9781467321723

Barn, Balbir and Clark, Tony (2012) Goal based alignment of enterprise architectures. In: 7th International Conference on Software Paradigm Trends (ICSOFT 2012), 24 - 27 July, 2012, Rome, Italy.

Barn, Balbir and Clark, Tony and Hearne, Gary (2012) Business and ICT alignment in higher education: a case study in measuring maturity. In: 21st International Conference on Information Systems Development (ISD2012), 29-30 Aug 2012, Prato, Italy.

Barn, Balbir and Clark, Tony and Oussena, Samia (2012) A model based approach to systems requirements for event driven enterprise architecture. In: 5th India Software Engineering Conference (ISEC 2012), 22 - 25 February, 2012, IIT Kanpur, India.

Choudhury, Sharmin (Tinni) and Kodagoda, Neesha and Nguyen, Phong H. and Rooney, Chris and Attfield, Simon and Xu, Kai and Zheng, Yongjun and Wong, B. L. William and Chen, Raymond and Mapp, Glenford E. and Slabbert, Louis and Aiash, Mahdi and Lasebae, Aboubaker (2012) M-Sieve: a visualisation tool for supporting network security analysts. In: VisWeek 2012, 14-19 Oct 2012, Seattle, WA, USA.

Clark, Tony and Barn, Balbir (2012) bCMS in LEAP. In: Comparing Modeling Approaches, 30 September 2012, Innsbruck, Austria.

Clark, Tony and Barn, Balbir and Oussena, Samia (2012) Simulating enterprise architecture models. Infosys Journal of Research, 10 (3). pp. 3-20.

Clark, Tony and Barn, Balbir and Oussena, Samia (2012) A method for enterprise architecture alignment. In: Practice-Driven Research on Enterprise Transformation : 4th Working Conference, PRET 2012, Gdańsk, Poland, June 27, 2012. Proceedings. Proper, E and Gaaloul, K and Harmsen, F and Wrycza, S, eds. Lecture Notes in Business Information Processing (120). Springer, pp. 48-76. ISBN 9783642311338

Clark, Tony and Bettin, Jorn (2012) Editorial for the theme issue on model-based interoperability. Software and Systems Modeling, 11 (1). pp. 7-10. ISSN 1619-1366

Clark, Tony and Muller, Pierre-Alain (2012) Exploiting model driven technology: a tale of two startups. Software and Systems Modeling, 11 (4). pp. 481-493. ISSN 1619-1366

Doddapaneni, Krishna and Ever, Enver and Gemikonakli, Orhan and Mostarda, Leonardo (2012) Effects of IDSs on the WSNs lifetime: evidence for the need of new approaches. In: TRUSTCOM '12 : Proceedings of the 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications. IEEE, pp. 907-912. ISBN 9780769547459

Ever, Enver and Luchmun, Ravi and Mostarda, Leonardo and Navarra, Alfredo and Shah, Purav (2012) UHEED - an unequal clustering algorithm for wireless sensor networks. In: Sensornets 2012, 24-26 Feb 2012, Rome, Italy.

Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. (2012) Bridging the abridged – the diffusion of Telemedicine in Europe and China. In: Telemedicine and e-health services, policies, and applications: avancements and developments. Rodrigues, Joel J. P. C. and Díez, Isabel de la Torre and Abajo, Beatriz Sainz de, eds. IGI Global, USA, pp. 451-495. ISBN 9781466608887

Gao, Xiaohong W. and Qian, Yu and Loomes, Martin J. and Barn, Balbir and Comley, Richard A. and Chapman, Alex and Rix, Janet and Hui, Rui and Tian, Zengmin (2012) Retrieval of 3D medical images via their texture features. International Journal On Advances in Software, 4 (3&4). pp. 499-509. ISSN 1942-2628

Kammueller, Florian and Mapp, Glenford E. and Patel, Sandip and Sani, Abubaker Sadiq (2012) Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. In: International Conference on Internet Monitoring and Protection (ICIMP 2012), 27 May - 01 Jun 2012, Stuttgart, Germany.

Kammueller, Florian and Probst, Christian and Raimondi, Franco (2012) Application of verification techniques to security: model checking insider attacks. In: 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability, 28-29 Mar 2012, Venice, Italy.

Khan, Shafiullah and Alrajeh, Nabil Ali and Loo, Jonathan (2012) Secure route selection in wireless mesh networks. Computer Networks, 56 (2). pp. 491-503. ISSN 1389-1286

Khan, Shafiullah and Loo, Jonathan (2012) Cross layer secure and resource-aware on-demand routing protocol for hybrid wireless mesh networks. Wireless Personal Communications, 62 (1). pp. 201-214. ISSN 0929-6212

Kocurova, Anna and Oussena, Samia and Clark, Tony (2012) Applied metamodelling to collaborative document authoring. In: Federated Conference on Computer Science and Information Systems (FedCSIS 2012), 9 - 12 September 2012, Wrocław, Poland.

Kocurova, Anna and Oussena, Samia and Komisarczuk, Peter and Clark, Tony (2012) Context-aware content-centric collaborative workflow management for mobile devices. In: The Second International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2012), June 24-29, 2012, Venice, Italy.

Le, Anhtuan and Loo, Jonathan and Lasebae, Aboubaker and Aiash, Mahdi and Luo, Yuan (2012) 6LoWPAN: a study on QoS security threats and countermeasures using intrusion detection system approach. International Journal of Communication Systems, 25 (9). pp. 1189-1212. ISSN 1074-5351

Mapp, Glenford E. and Katsriku, Ferdinand and Aiash, Mahdi and Chinnam, Naveen and Lopes, Rigolin and Moreira, Edson and Vanni, Renata M. P. and Augusto, Mario (2012) Exploiting location and contextual information to develop a comprehensive framework for proactive handover in heterogeneous environments. Journal of Computer Networks and Communications . ISSN 2090-7141

Mirzamany, Esmat and Lasebae, Aboubaker and Gemikonakli, Orhan (2012) Using aggregated RSVP in nested HMIPv6. In: Wireless Communications and Mobile Computing Conference (IWCMC), 2012 8th International. Wireless Communications and Mobile Computing Conference (IWCMC) . IEEE, 716 -721. ISBN 9781457713781

Vien, Quoc-Tuan and Nguyen, Huan X. (2012) CQI reporting strategies for nonregenerative two-way relay networks. 2012 IEEE Wireless Communications and Networking Conference (WCNC 2012) . pp. 974-979. ISSN 1525-3511

Vien, Quoc-Tuan and Nguyen, Huan X. and Choi, Jinho and Stewart, Brian G. and Tianfield, Huaglory (2012) Network coding-based block acknowledgement scheme for wireless regenerative relay networks. IET Communications, 6 (16). pp. 2593-2601. ISSN 1751-8636

Vien, Quoc-Tuan and Stewart, Brian G. and Nguyen, Huan X. (2012) Outage probability of regenerative protocols for two-source two-destination networks. Wireless Personal Communications . pp. 1-13. ISSN 0929-6212 (print) ; 1572-834X (online)

Vien, Quoc-Tuan and Stewart, Brian G. and Tianfield, Huaglory and Nguyen, Huan X. (2012) An efficient cooperative retransmission for wireless regenerative relay networks. Global Communications Conference (GLOBECOM), 2012 IEEE . pp. 4417-4422. ISSN 1930-529X

Vien, Quoc-Tuan and Stewart, Brian G. and Tianfield, Huaglory and Nguyen, Huan X. and Choi, Jinho (2012) An efficient network coded ARQ for multisource multidestination relay networks over mixed flat fading channels. International Journal of Electronics and Communications (AEÜ) . ISSN 1434-8411

2011

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker (2011) Security and QoS integration for protecting service providers in hterogeneous environments. International Journal of Computer Science, 38 (4). pp. 384-393. ISSN 1819-656X

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Augusto, Mario and Vanni, Renata M. P. and Moreira, Edson (2011) A QoS framework for heterogeneous networking. In: Internation Conference on Wireless networks 2011 (ICWN'11), 6th - 8th July 2011, London.

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Phan, Raphael (2011) Exploring the concept of scope to provide better security for internet services. In: First Global Conference on Communication, Science and Engineering (CCSIE 2011), 25 - 27 July 2011, Middlesex University.

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Phan, Raphael and Augusto, Mario and Vanni, Renata M. P. and Moreira, Edson (2011) Enhancing naming and location services to support multi-homed devices in heterogeneous environments. In: First Conference on Communication, Science and Information Enginneering (CCSIE 2011), 25 - 27 July 2011, Middlesex University.

Al Noor, Mazin and Loo, Jonathan and Comley, Richard A. (2011) Extended mobile WiMAX signal transmission over RoF via triple symmetrical dispersion system SMF, DCF and CFBG. International Journal on Advances in Telecommunications, 4 (1&2). pp. 183-193. ISSN 1942-2601

Barn, Balbir and Clark, Tony (2011) Re-thinking software engineering approaches: a critical reflection on theory building. In: ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Seville, Spain, 18-21 July, 2011. Cuaresma, María José Escalona and Shishkov, Boris and Cordeiro, José, eds. SciTePress, pp. 59-64. ISBN 9789898425768

Barn, Balbir and Clark, Tony (2011) Revisiting Naur's programming as theory building for Enterprise Architecture modelling. In: Advanced information systems engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011: proceedings. Mouratidis, Haralambos and Rolland, Colette, eds. Lecture Notes in Computer Science (6741). Springer, pp. 229-236. ISBN 9783642216398

Barn, Balbir and Clark, Tony (2011) Revisiting Naur’s programming as theory building for enterprise architecture modelling. In: Advanced information systems engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings. Mouratidis, Haralambos and Rolland, Colette, eds. Lecture Notes in Computer Science (6741). Springer, pp. 229-236. ISBN 9783642216398

Campbell, Carlene and Loo, Jonathan and Gemikonakli, Orhan and Khan, Shafiullah and Singh, Dhananjay (2011) Multi-channel distributed coordinated function over single radio in wireless sensor networks. Sensors, 11 (1). pp. 964-991. ISSN 1424-8220

Clark, Tony and Barn, Balbir (2011) Event driven architecture modelling and simulation. In: Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE). IEEE, pp. 43-54. ISBN 9781467304115

Clark, Tony and Barn, Balbir (2011) Event driven architecture modelling and simulation. In: Service Oriented System Engineering (SOSE), 2011 IEEE 6th International Symposium on. IEEE, pp. 43-54. ISBN 9781467304115

Clark, Tony and Barn, Balbir (2011) Modeling as theory building: addressing knowledge management problems in system engineering. SETLabs Briefings .

Clark, Tony and Barn, Balbir and Oussena, Samia (2011) LEAP: a precise lightweight framework for enterprise architecture. In: ISEC '11 proceedings of the 4th India Software Engineering Conference. Association for Computing Machinery. ISBN 9781450305594

Gemikonakli, Eser and Gemikonakli, Orhan and Ever, Enver and Mapp, Glenford E. (2011) Impacts of buffering voice calls in integrated voice and data services. In: Computer Modelling and Simulation (UKSim), 2011 UkSim 13th International Conference [proceedings]. Al-Dabass, David and Orsoni, Alessandra and Cant, Richard and Abraham, Ajith, eds. IEEE, pp. 507-512. ISBN 9781612847054

Gemikonakli, Eser and Mapp, Glenford E. and Gemikonakli, Orhan and Ever, Enver (2011) Traffic modelling in WLANs and cellular networks. In: First Global Conference on Communication, Science and Information Engineering (CCSIE 2011), 25 - 27 July 2011, Middlesex University.

Kirsal, Yonal and Ever, Enver and Gemikonakli, Orhan and Mapp, Glenford E. (2011) Modelling and performability analysis of WLANs as a queuing model with channel/access point failures and reconfiguration. In: UKSim 5th European Modelling Symposium On Computer Modelling and Simulation. IEEE Computer Society, Los Alamitos, CA, pp. 440-445. ISBN 9781467300605

Kirsal, Yoney and Ever, Enver and Gemikonakli, Orhan and Mapp, Glenford E. (2011) Critical review of analytical modelling approaches for performability evaluation of the handover phenomena in mobile communication systems. In: IEEE International Conference on Computer and Information Technology (CIT 2011).

Kocurova, Anna and Oussena, Samia and Komisarczuk, Peter and Clark, Tony and Kramer, Dean (2011) Towards improved distributed collaborative workflow management for mobile devices. In: First International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2011), June 29 – July 1, 2011, Campione D’Italia, Italy.

Kramer, Dean and Clark, Tony and Oussena, Samia (2011) Platform independent, higher-order, statically checked mobile applications. International Journal of Design, Analysis and Tools for Circuits and Systems, 2 (1). pp. 14-29. ISSN 2071-2987

Kramer, Dean and Kocurova, Anna and Oussena, Samia and Clark, Tony and Komisarczuk, Peter (2011) An extensible, self contained, layered approach to context acquisition. In: M-MPAC '11: Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing. ACM, New York, NY, USA, 6:1-6:7. ISBN 9781450310659

Le, Anhtuan and Loo, Jonathan and Luo, Yuan and Lasebae, Aboubaker (2011) Specification-based IDS for securing RPL from topology attacks. Wireless Days (WD), 2011 IFIP . pp. 1-3. ISSN 2156-9711

Loo, Jonathan (2011) Special issue on efficient and robust security and services of wireless mesh networks. Journal of Network and Computer Applications, 34 (2). pp. 429-431. ISSN 1084-8045

Loo, Jonathan and Tun, Myo and Chang, Yoong Choon (2011) Dirac video codec: introduction. In: Streaming Media Architectures, Techniques, and Applications: Recent Advances. Zhu, Ce and Li, Yuenan and Niu, Xiamu, eds. IGI Global, Hershey, pp. 58-94. ISBN 9781616928315

Mapp, Glenford E. and Aiash, Mahdi and Guardia, Helio C. and Crowcroft, Jon (2011) Exploring multi-homing issues in heterogeneous networks. In: Advanced Information Networking and Applications (WAINA), 2011 IEEE Workshops of International Conference[proceedings]. IEEE, pp. 690-695. ISBN 9781424447466

Mapp, Glenford E. and Thakker, Dhawal and Gemikonakli, Orhan (2011) Exploring gate-limited analytical models for high-performance network storage servers. Journal of Computer and System Sciences, 77 (5). ISSN 0022-0000

Muogilim, Okechukwu and Loo, Jonathan and Comley, Richard A. (2011) Wireless mesh network security: a traffic engineering management approach. Journal of Network and Computer Applications, 34 (2). pp. 478-491. ISSN 1084-8045

Nguyen, Huan X. (2011) Signal detection for 3GPP LTE downlink: algorithm and implementation. International Journal on Advances in Telecommunications, 4 (1 & 2). pp. 34-47. ISSN 1942-2601

Oussena, Samia and Hyensook, Kim and Clark, Tony (2011) Exploiting student intervention system using data mining. In: IMMM 2011, The First International Conference on Advances in Information Mining and Management, 23-29 October 2011, Barcelona, Spain.

Qian, Yu and Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Barn, Balbir and Hui, Rui and Tian, Zenmin (2011) Content-based petrieval of 3D medical images. In: eTELEMED 2011, The Third International Conference on eHealth, Telemedicine, and Social Medicine. Gemert-Pijnen, Lisette Van and Ossebaard, Hans C. and Hämäläinen, Päivi, eds. IARIA, pp. 7-12. ISBN 9781612081199

Rantisi, Maher and Maquosi, Ali and Mapp, Glenford E. and Gemikonakli, Orhan (2011) The development of a dynamic and robust event-based routing protocol in wireless sensor networks for environment monitoring. In: First Global Conference on Communication, Science and Information Engineering (CCSIE 2011), 25 - 27 July 2011, Middlesex University.

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2011) Evaluation of collaborative filtering algorithms using a small dataset. In: WEBIST 2011, http://www.webist.org/WEBIST2011/.

Russello, Giovanni and Mostarda, Leonardo and Dulay, Naranker (2011) A policy-based publish/subscribe middleware for sense-and-react applications. Journal of Systems and Software, 84 (4). pp. 638-654. ISSN 0164-1212

Shaikh, Fatema and Mapp, Glenford E. and Lasebae, Aboubaker (2011) A survey of network coverage prediction mechanisms in 4G heterogeneous wireless networks. In: First Global Conference on Communication, Science and Information Engineering (CCSIE 2011), 25 - 27 July 2011, Middlesex University.

To, Duc and Nguyen, Huan X. and Choi, Jinho and Choi, Seungwon (2011) Power allocation for multiband coded OFDM systems with limited feedback. IEEE Vehicular Technology Conference . pp. 1-5. ISSN 1090-3038

Vien, Quoc-Tuan and Nguyen, Huan X. and Choi, Jinho and Stewart, Brian and Tianfield, Huaglory (2011) Network coding-based block ACK for wireless relay networks. IEEE Vehicular Technology Conference, 73 . pp. 1-5. ISSN 1090-3038

Vien, Quoc-Tuan and Tianfield, Huaglory and Stewart, Brian G. and Nguyen, Huan X. and Choi, Jinho (2011) An efficient retransmission strategy for multi-source multi-destination relay networks over Rayleigh flat fading channels. Wireless Personal Multimedia Communications, International Symposium . ISSN 1347-6890

Vien, Quoc-Tuan and Tran, Le-Nam and Nguyen, Huan X. (2011) Efficient ARQ retransmission schemes for two-way relay networks. Journal of Communication Software and Systems, 7 (1). ISSN 1845-6421

Wang, Lei and Wright, C. David and Shah, Purav and Aziz, Mustafa M. and Sebastian, Abu and Pozidis, Haralampos and Pauza, Andrew (2011) Ultra high density scanning electrical probe phase-change memory for archival storage. Japanese Journal of Applied Physics, 50 (9). pp. 1-2. ISSN 0021-4922

Whittle, Jon and Clark, Tony and Kuhne, Thomas, eds. (2011) Model Driven Engineering Languages and Systems. 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Lecture Notes in Computer Science, 6981 . Springer. ISBN 9783642244841

Wright, C. David and Aziz, Mustafa M. and Shah, Purav and Wang, Lei (2011) Scanning probe memories: technology and applications. Current Applied Physics, 11 (2). e104-e109. ISSN 1567-1739

Wright, C. David and Wang, Lei and Shah, Purav and Aziz, Mustafa M. and Varesi, Enrico and Bez, Roberto and Moroni, Maurizio and Cazzaniga, Francesco (2011) The design of rewritable ultrahigh density scanning-probe phase-change memories. IEEE Transactions on Nanotechnology, 10 (4). pp. 900-912. ISSN 1536-125X

2010

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and Phan, Raphael (2010) Providing security in 4G systems: unveiling the challenges. In: Telecommunications (AICT), 2010 Sixth Advanced International Conference on. Atmaca, Tulin and Palicot, Jacques and Amor, Nafkha and Tsiatsos, Thrasyvoulos and Marot, Michel and Dini, Oana, eds. IEEE, pp. 439-444.

Al-Dulaimi, Anwer and Al-Raweshidy, Hamed and Cosmas, John and Loo, Jonathan (2010) Cognitive mesh networks: cognitive radio over fiber for microcells applications. IEEE Vehicular Technology Magazine, 5 (3). pp. 54-60. ISSN 1556-6072

Barn, Balbir and Clark, Tony (2010) A domain specific language for contextual design. Lecture Notes in Computer Science, 6409 (2). pp. 46-61. ISSN 0302-9743

Barn, Balbir and Oussena, Samia (2010) BPMN, toolsets, and methodology: a case study of business process management in higher education. In: Information systems development: towards a service provision society. Papadopoulos, George Angelos and Wojtkowski, Wita and Wojtkowski, Gregory and Wrycza, Stanislaw and Zupancic, Jose, eds. Springer, Boston, MA, pp. 685-693. ISBN 9780387848099

Bettin, Jorn and Clark, Tony (2010) Advanced modelling made simple with the Gmodel metalanguage. In: MDI '10 Proceedings of the First International Workshop on Model-Driven Interoperability. ACM. ISBN 9781450302920

Clark, Tony (2010) Stories about calculations: remembering Peter Landin. Higher-Order and Symbolic Computation, 22 (4). pp. 331-332. ISSN 1388-3690

Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7). pp. 75-88. ISSN 1571-0661

Cortellessa, Vittorio and Trubiani, Catia and Mostarda, Leonardo and Dulay, Naranker (2010) An architectural framework for analyzing tradeoffs between software security and performance. In: ISARCS 2010: 1st International Symposium on Architecting Critical Systems Federated with CompArch 2010, 23rd-25th June 2010, Prague.

Cruz, Andry B. and Boutaleb, Tuleen and Nguyen, Huan X. and Tianfield, Huaglory (2010) Reactive service location in IEEE WAVE. In: Wireless and Mobile Computing, Networking and Communications (WiMob), 2010 IEEE 6th International Conference [proceedings]. IEEE, pp. 534-540. ISBN 9781424477432

Dafoulas, George and Barn, Balbir and Abeysinghe, Geetha and Zheng, Yongjun and Swigger, Kathleen and Brazile, Robert and Alpaslan, Ferda Nur and Serce, Fatma Cemile and Lopez, Victor (2010) Using learning management systems as support mechanisms for formative feedback – the case of lifelong learning. In: EDULEARN10 Proceedings. International Association of Technology, Education and Development (IATED), pp. 2614-2622. ISBN 9788461393862

Di Bari, Raffaele and Bard, Maurice and Arrinda, Amaia and Ditto, Paolo and Araniti, Giuseppe and Cosmas, John and Loo, Jonathan and Nilavalan, Rajagopal (2010) Measurement campaign on transmit delay diversity for mobile DVB-T/H systems. IEEE Transactions on Broadcasting, 56 (3). pp. 369-378. ISSN 0018-9316

Ever, Enver and Taherkhani, Saeid and Gemikonakli, Orhan (2010) Implementation of non-pipelined and pipelined data encryption standard (DES) using Xilinx Virtex-6 FPGA technology. In: CIT2010: 10th IEEE International Conference on Computer and Information Technology. IEEE, pp. 1257-1262. ISBN 9781424475476

Gemikonakli, Orhan and Ever, Enver and Gemikonakli, Eser (2010) Performance modelling of virtualized servers. In: 12th International Conference on Modeling and Simulation: UKSIM 2010: proceedings. IEEE, pp. 434-440. ISBN 9781424466146

Hyensook, Kim and Oussena, Samia and Zhang, Ying and Clark, Tony (2010) Automatic generation of data merging program codes. In: ICSOFT 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Athens, Greece, July 22-24, 2010. SciTePress, pp. 179-186. ISBN 9789898425232

Khan, Shafiullah and Loo, Jonathan and Ud Din, Zia (2010) Framework for intrusion detection in IEEE 802.11 wireless mesh networks. International Arab Journal of Information Technology, 7 (4). pp. 435-440. ISSN 1683-3198

Kirsal, Yoney and Gemikonakli, Eser and Ever, Enver and Mapp, Glenford E. and Gemikonakli, Orhan (2010) An analytical approach for performance analysis of handoffs in the next generation integrated cellular networks and WLANs. In: 2010 Proceedings of 19th International Conference on Computer Communications and Networks: Proceedings. IEEE. ISBN 9781424471140

Kramer, Dean and Clark, Tony and Ousena, Samia (2010) MobDSL: a domain specific language for multiple mobile platform deployment. In: Networked Embedded Systems for Enterprise Applications (NESEA), 2010 IEEE International Conference. IEEE. ISBN 9781424491780

Mapp, Glenford E. and Aiash, Mahdi and Lasebae, Aboubaker and Phan, Raphael (2010) Security models for heterogeneous networking. In: Proceedings of the 2010 International Conference on Security and Cryptography (SECRYPT),. Katsikas, Sokratis, ed. IEEE, pp. 1-4. ISBN 9789898425188

Mapp, Glenford E. and Crowcroft, Jon and Phan, Raphael (2010) Towards an integrated network security framework using the Y-Comm architecture. In: Handbook of electronic security and digital forensics. Jahankhani, Hamid and Watson, David Lilburn and Me, Gianluigi and Leonhardt, Frank, eds. World Scientific Publishing, Singapore, pp. 169-183. ISBN 9789812837035

Mapp, Glenford E. and Thakker, Dhawal and Gemikonakli, Orhan (2010) Exploring a new Markov chain model for multiqueue systems. In: Computer Modelling and Simulation (UKSim), 2010 12th International Conference. Al-Dabass, David and Orsoni, Alessandra and Cant, Richard and Abraham, Ajith, eds. IEEE Computer society, pp. 592-597. ISBN 9781424466146

Mostarda, Leonardo and Ball, Rudi and Dulay, Naranker (2010) Distributed fault tolerant controllers. Lecture Notes in Computer Science, 6115 . pp. 141-154. ISSN 0302-9743

Mostarda, Leonardo and Dong, Changyu and Dulay, Naranker (2010) Context-based authentication and transport of cultural assets. Personal and Ubiquitous Computing, 14 (4). pp. 321-334. ISSN 1617-4909

Mostarda, Leonardo and Marinovic, Srdjan and Dulay, Naranker (2010) Distributed orchestration of pervasive services. Proceedings: International Conference on Advanced Information Networking and Applications . pp. 166-173. ISSN 1550-445X

Mostarda, Leonardo and Sykes, Daniel and Dulay, Naranker (2010) A state machine-based approach for reliable adaptive distributed systems. In: Engineering of Autonomic and Autonomous Systems (EASe), 2010. Sterritt, Roy and McCann, Julie, eds. IEEE International Conference and Workshops (7). IEEE, pp. 91-100. ISBN 9781424465354

Nguyen, Huan X. (2010) Performance bounds for MMSE-based signal detection in LTE downlink. Communications (ICC), IEEE International Conference on, 2010 . ISSN 1550-3607

Nguyen, Huan X. and Choi, Jinho and Kim, Seong Rag and Nam, Junyoung (2010) Multi-group linear turbo equalization with intercell interference cancellation for MC-CDMA cellular systems. Wireless communications and mobile computing, 10 (8). pp. 1102-1112. ISSN 1530-8669

Nguyen, Huan X. and Choi, Jinho and Tianfield, Huaglory (2010) Iterative (turbo processing) receiver design of OFDM systems in the presence of carrier frequency offset. International Transactions on Systems Science and Applications, 6 (1). pp. 82-93. ISSN 1751-1461

Nguyen, Huan X. (2010) An efficient signal detection algorithm for 3GPP LTE downlink. In: Digital Telecommunications (ICDT), 2010 Fifth International Conference on [proceedings]. Palelogu, Constantin, ed. IEEE, pp. 77-81. ISBN 9781424472710

Sama, Michele and Elbaum, Sebastian and Raimondi, Franco and Rosenblum, David S. and Wang, Zhimin (2010) Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering, 36 (5). pp. 644-661. ISSN 0098-5589

Shi, Daming and Loomes, Martin J. and Nguyen, Minh Nhut (2010) Evolutionary FCMAC-BYY applied to stream data analysis. Lecture Notes in Computer Science, 6457 . pp. 187-194. ISSN 0302-9743

Skene, James and Raimondi, Franco and Emmerich, Wolfgang (2010) Service-level agreements for electronic services. IEEE Transactions on Software Engineering, 36 (2). pp. 288-304. ISSN 0098-5589

Stelmaszewska, Hanna and Wong, B. L. William and Bhimani, Nazlin and Barn, Balbir (2010) User behaviour: searching for scholarly material using electronic resource discovery systems. In: BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference. British Computer Society, pp. 17-26. ISBN 9781780171302

Thakker, Dhawal and Mapp, Glenford E. and Gemikonakli, Orhan (2010) Balancing streaming and demand accesses in a network based storage environment. In: Novel algorithms and techniques in telecommunications and networking. Sobh, Tarek and Elleithy, Khaled and Mahmood, Ausif, eds. Springer, London, New York, pp. 403-408. ISBN 9789048136629

Vanni, Renata M. P. and Branco, Kalinka R. L. J. C. and Moreira, Edson and Mapp, Glenford E. (2010) Information for handover management in heterogeneous networks: data representation,languages and integrated platforms. In: 7th International Conference on Information and Technology Management, 19th-21st May 2010, Sao Paulo, Brazil.

Vien, Quoc-Tuan and Tran, Le-Nam and Nguyen, Huan X. (2010) Network coding-based ARQ retransmission strategies for two-way wireless relay networks. In: Software, Telecommunications and Computer Networks (SoftCOM), 2010 International Conference [proceedings]. IEEE, pp. 180-184. ISBN 9781424486632

Wampler, Dean and Clark, Tony (2010) Multiparadigm programming: guest editors' introduction. IEEE Software, 27 (5). pp. 2-7. ISSN 0740-7459

Wampler, Dean and Clark, Tony and Ford, Neal and Goetz, Brian (2010) Multiparadigm programming in industry: a discussion with Neal Ford and Brian Goetz. IEEE Software, 27 (5). pp. 61-64. ISSN 0740-7459

Wang, L. and Shah, Purav and Wright, C. David and Aziz, Mustafa M. (2010) Towards ultra-high density scanning-probe memory using rewritable phase-change media. In: European Phase Change and Ovonic Conference, 5-7 September, 2010, Milan, Italy.

Wang, Lei and Shah, Purav and Wright, C. David and Aziz, Mustafa M. and Sebastian, Abu and Pozidis, Haralampos and Pauza, Andrew (2010) Ultra-high density scanning electrical probe phase-change memory for archival storage. In: International Symposium on Optical Memory, October 2010, Taiwan.

Wright, C. David and Ashawaraya, P. and Ashwin, P. and Aziz, Mustafa M. and Hicken, R. J. and Kohary, K. I. and Liu, Y. and Marmier, A. S. H. and Shah, Purav and Vazquez, J. and Wang, Lei (2010) Phase-change technologies: from PCRAM to probe-storage to processors. In: European Phase Change and Ovonic Conference, 5-7 September, 2010, Milano.

Wright, C. David and Shah, Purav and Wang, Lei and Aziz, Mustafa M. and Sebastian, A. and Pozidis, H. (2010) Write strategies for multiterabit per square inch scanned-probe phase-change memories. Applied Physics Letters, 97 (17). pp. 173104-173107. ISSN 0003-6951

Wright, C. David and Wang, L. and Shah, Purav and Aziz, Mustafa M. and Varesi, E. and Bez, R. and Moroni, M. and Cazzaniga, F. (2010) The design of re-writeable ultra-high density scanning-probe phase-change memories. Nanotechnology, IEEE Transactions on . ISSN 1536-125X

Xue, Zhuo and Loo, Jonathan and Cosmas, John and Tun, Myo and Feng, Lifang and Yip, Pik Yee (2010) Error-resilient scheme for wavelet video codec using automatic ROI detection and wyner-ziv coding over packet erasure channel. IEEE Transactions on Broadcasting, 56 (4). pp. 481-493. ISSN 0018-9316

Zhang, Ying and Oussena, Samia and Clark, Tony and Hyensook, Kim (2010) Using data mining to improve student retention in HE: a case study. In: ICEIS - 12th International Conerence on Enterprise Information Systems, 2010., 8-12 June, Portugal.

2009

Barn, Balbir (2009) On the evaluation of reference models for software engineering practice. In: Proceedings of the 2nd India software engineering conference (ISEC 2009). ACM, pp. 111-116. ISBN 9781605584263

Bettin, Jorn and Cook, William and Clark, Tony and Kelly, Steven (2009) Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. In: OOPSLA 09, October, Florida.

Bettinelli, Andrea and Liberti, Leo and Raimondi, Franco and Savourey, David (2009) The Anonymous subgraph problem. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Choi, Jinho and Nguyen, Huan X. (2009) Low complexity SIC-based MIMO detection with list generation in the LR domain. Global Telecommunications (GLOBECOM), IEEE Conference and Exhibition, 2009 . pp. 1-6. ISSN 1930-529X

Choi, Jinho and Nguyen, Huan X. (2009) SIC-based detection with list and lattice reduction for MIMO channels. IEEE Transactions on Vehicular Technology, 58 (7). pp. 3786-3790. ISSN 0018-9545

Clark, Tony (2009) First class grammars for language oriented programming. In: The 13th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2009, 10 to 13 July, 2009, Orlando, Florida, USA.

Clark, Tony (2009) A MOP based DSL for testing Java programs using OCL. Lecture Notes in Computer Science . ISSN 0302-9743

Clark, Tony (2009) Model based functional testing using pattern directed filmstrips. In: Fourth International Workshop on the Automation of Software Test, May 2009, Vancouver.

Clark, Tony and Tratt, Laurence (2009) Language factories. In: Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications; Orlando, Florida, USA, October 25 - 29, 2009. Asscociation for Computing Machinery, pp. 949-956. ISBN 9781605587660

Cubo, Javier and Sama, Michele and Raimondi, Franco and Rosenblum, David (2009) A model to design and verify context-aware adaptive service composition. In: 6th IEEE International Conference on Services Computing (SCC 2009), September 21-25, 2009, Bangalore.

Ever, Enver and Gemikonakli, Orhan and Chakka, Ram (2009) Analytical modelling and simulation of small scale, typical and highly available Beowulf clusters with breakdowns and repairs. Simulation Modelling Practice and Theory, 17 (2). pp. 327-347. ISSN 1569-190X

Ever, Enver and Kirsal, Yonal and Gemikonakli, Orhan (2009) Performability modelling of handoff in wireless cellular networks and the exact solution of system models with service rates dependent on numbers of originating and handoff calls. In: First International Conference on Computational Intelligence, Modelling, and Simulation: proceedings. Kunovsky, Jiri and Hanacek, Petr and Zboril, Frantisek and Al-Dabass, David and Abraham, Ajith, eds. IEEE, pp. 282-287. ISBN 9781424452002

Ever, Enver and Kirsal, Yoney and Gemikonakli, Orhan (2009) Performability modelling of a Kerberos server with frequent key renewal under pseudo-secure conditions for increased security. In: 2009 International Conference on the Current Trends in Information Technology (CTIT 2009). IEEE. ISBN 9781424457540

Feng, Lifang and Fan, Pingzhi and Hao, Li and Loo, Jonathan and Tarokh, Vahid (2009) A new construction of signature waveforms for multi-rate multi-cell QS-CDMA systems. Wireless Personal Communications, 50 (4). pp. 493-507. ISSN 0929-6212

Feng, Lifang and Fan, Pingzhi and Loo, Jonathan and Hao, Li (2009) New signature waveforms for multi-rate QS-CDMA system with QPSK modulation. Wireless Personal Communications., 55 (2). pp. 273-288. ISSN 0929-6212

Gemikonakli, Orhan and Ever, Enver and Kocyigit, Altan (2009) Approximate solution for two stage open networks with Markov-modulated queues minimizing the state space explosion problem. Journal of Computational and Applied Mathematics, 223 (1). pp. 519-533. ISSN 0377-0427

Georgiades, Andrew and Luo, Yuan and Lasebae, Aboubaker and Comley, Richard A. (2009) Location privacy in mobile IPv6 distributed authentication protocol using mobile home agents. In: Proceedings of the 8th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications. Trilling, Leon and Perkins, D. and Dionysios, Dionysiou D. and Perlovsky, Leonid and Davey, Kent and Landgrebe, David and Marino, Miguel A. and Russell, D. L. and Collicott, Steven H. and Ceccarelli, Marco and Lund, John W., eds. WSEAS Press, pp. 51-56. ISBN 9789604740536

Ghosh, Arindam and Lasebae, Aboubaker and Ever, Enver (2009) Evaluation of wireless IEEE 802.11(b) used for ad-hoc networks in an e-learning classroom network. In: Kaspersky IT Security Conference for the Next Generation.

Hyensook, Kim and Zhang, Ying and Oussena, Samia and Clark, Tony (2009) A case study on model driven data integration for data centric software development. In: ACM first international workshop on Data-intensive software management and mining, November 6th, 2009, Hong Kong.

Kara-Zaitri, Chakib and Ever, Enver (2009) A hardware accelerated semi analytic approach for fault trees with repairable ccmponents. In: Computer Modelling and Simulation, 2009. UKSIM '09. 11th International Conference. IEEE, pp. 146-151. ISBN 9781424437719

Khan, Shafiullah and Loo, Jonathan (2009) Real-time cross-layer design for a large-scale flood detection and attack trace-back mechanism in IEEE 802.11 wireless mesh networks. Network Security, 2009 (5). pp. 9-16. ISSN 1353-4858

Khan, Shafiullah and Loo, Jonathan and Mast, Noor and Naeem, Tahir (2009) SRPM: secure routing protocol for IEEE 802.11 infrastructure based wireless mesh networks. Journal of Network and Systems Management, 18 (2). pp. 190-209. ISSN 1064-7570

Kirsal, Yonal and Gemikonakli, Orhan (2009) Performability modelling of handoff in wireless cellular networks with channel failures and recovery. In: 11th International Conference on Computer Modelling and Simulation (UKSIM '09). IEEE, pp. 544-547. ISBN 9780769535937

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743

Mancero, Gabriela and Wong, B. L. William and Loomes, Martin J. (2009) Radio dispatchers' interruption recovery strategies. In: Proceedings of the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group on Design: Open 24/7 - OZCHI '09. ACM, New York, pp. 113-120. ISBN 9781605588544

Mancero, Gabriela and Wong, B. L. William and Loomes, Martin J. (2009) Change blindness and situation awareness in a police C2 environment. In: ECCE 2009 - European Conference on Cognitive Ergonomics: designing beyond the product: understanding activity and user experience in ubiquitous environments. Norros, Leena, ed. VTT symposium (258). VTT Technical Research Centre of Finland, Vuorimiehentie, pp. 79-84. ISBN 9789513863401

Mapp, Glenford E. (2009) Exploring Markov models for gate-limited service and their application to network-based services. In: Eight Mathematics of Networks Meeting, 18th September 2009, Cambridge.

Mapp, Glenford E. and Shaikh, Fatema and Aiash, Mahdi and Vanni, Renata M. P. and Augusto, Mario and Moreira, Edson (2009) Exploring efficient imperative handover mechanisms for heterogeneous wireless networks. In: Network-Based Information Systems, 2009. NBIS '09. International Conference. Duresi, Arjan and Barolli, Leonard and Enokido, Tomoya and Uehara, Minoru and Shakshuki, Elhada and Takizawa, Makoto, eds. IEEE, pp. 286-291. ISBN 9781424447466

Nguyen, Huan X. and Choi, Jinho and Le-Ngoc, Tho (2009) High-rate groupwise STBC using low-complexity SIC based receiver. IEEE Transactions on Wireless Communications, 8 (9). pp. 4677-4687. ISSN 1536-1276

Nguyen, Huan X. (2009) An efficient space-time coding scheme using list-based decoding. In: Communications (MICC), 2009 IEEE 9th Malaysia International Conference [proceedings]. Ismail, Mahmood and Ali, Borhanuddin and Hafizal, Mohamad, eds. IEEE, pp. 623-628. ISBN 9781424455317

Oussena, Samia and Barn, Balbir (2009) Layered process models: analysis and implementation (using MDA principles). In: ICEIS 2009: 11th International Conference on Enterprise Information Systems: proceedings. Cordeiro, Jose and Filipe, Joaquim, eds. Institute for Systems and Technologies of Information, Control and Communication, pp. 168-175. ISBN 9789898111869

Oussena, Samia and Barn, Balbir and Sparks, Dan (2009) A framework for testing SOA applications. In: ICSOFT 2009: Proceedings of the 4th International Conference on Software and Data Technologies, Volume 2, Sofia, Bulgaria, July 26-29, 2009. The Institute for Systems and Technologies of Information, Control and Communication., pp. 53-60. ISBN 9789896740108

Pecheur, Charles and Raimondi, Franco and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389

Pediaditakis, Dimosthenis and Mostarda, Leonardo and Dong, Changyu and Dulay, Naranker (2009) Policies for self tuning home networks. In: POLICY 2009, IEEE International Symposium on Policies for Distributed Systems and Networks., 20-22 July 2009, London.

Raimondi, Franco and Pecheur, Charles and Brat, Guillaume (2009) PDVer, a tool to verify PDDL planning domains. In: ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, September 20, 2009, Thessaloniki, Greece.

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2009) Combinatorial optimization based recommender systems. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Thakker, Dhawal N. and Mapp, Glenford E. and Gemikonakli, Orhan (2009) Modelling mixed access-patterns in network-based systems. In: 11th International Conference on Computer Modelling and Simulation (UKSIM '09). IEEE, pp. 514-519. ISBN 9781424437719

Tsekleves, Emmanuel and Cosmas, John and Aggoun, Amar and Loo, Jonathan (2009) Converged digital TV services: the role of middleware and future directions of interactive television. International Journal of Digital Multimedia Broadcasting . ISSN 1687-7586

Tun, Myo and Loo, Jonathan and Cosmas, John (2009) An efficient rate control algorithm for a wavelet video codec. International Journal of Wavelets, Multiresolution and Information Processing (IJWMIP), 7 (5). pp. 567-585. ISSN 0219-6913

Wright, C. David and Aziz, Mustafa M. and Wang, L. and Shah, Purav (2009) Optimisation of the recording and readout performance of phase-change media for scanning probe storage applications. In: European Phase Change and Ovonic Symposium, September 2009, Aachen, Germany.

Xing, Weixi and Li, Yue and Nguyen, Huan X. and Zheng, Jun (2009) Radio-over-fibre to increase effective coverage of motorway access networks. International Journal of Communication Networks and Distributed Systems, 2 (2/3). pp. 331-351. ISSN 1754-3916

Zhang, Pei and Wills, Gary B. and Howard, Yvonne and Oussena, Samia and Kramer, Dean and Barn, Ravinder and Barn, Balbir (2009) An e-learning support toolkit for social work students on placement. In: Proceedings of the IADIS International Conference on e-Learning: June, Algarve, Portugal, 2009. Nunes, Miguel Baptista and McPherson, Maggie, eds. IADIS. ISBN 9789728924836

2008

Ahmad, Afandi and Loo, Jonathan and Cosmas, John (2008) VLSI architecture design approaches for real-time video processing. WSEAS Ttransactions on Circuits and Systems, 7 (8). pp. 855-868. ISSN 1109-2734

Autili, Marco and Mostarda, Leonardo and Navarra, Alfredo and Tivoli, Massimo (2008) Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software, 81 (12). pp. 2210-2236. ISSN 0164-1212

Clark, Tony (2008) Meta-packages: painless domain specific languages. Technical Report. CETEVA.

Clark, Tony (2008) Processing XML for domain specific languages. Technical Report. CETEVA, Sheffield.

Clark, Tony and Sammut, Paul and Willans, James (2008) Applied metamodelling: a foundation for language driven development. Ceteva, Sheffield.

Clark, Tony and Sammut, Paul and Willans, James (2008) Beyond annotations: a proposal for extensible java (XJ). In: Source Code Analysis and Manipulation, 2008 Eighth IEEE International Working Conference on 28-29 Sept. 2008. IEEE, pp. 228-238.

Clark, Tony and Sammut, Paul and Willans, James (2008) Superlanguages: developing languages and applications with XMF. Ceteva, Sheffield.

Costantini, Stefania and Mostarda, Leonardo and Tocchio, Arianna and Tsintza, Panagiota (2008) DALICA: Agent-based ambient intelligence for cultural-heritage scenarios. IEEE Intelligent Systems, 23 (2). pp. 34-41. ISSN 1541-1672

Di Bari, Raffaele and Bard, Maurice and Zhang, Yue and Nasr, Karim and Cosmas, John and Loo, Jonathan (2008) Laboratory measurement campaign of DVB-T signal with transmit delay diversity. IEEE Transactions on Broadcasting, 54 (3). pp. 532-541. ISSN 0018-9316

Duquenoy, Penny and George, Carlisle and Solomonides, Anthony (2008) What ELSE? Regulation and compliance in medical imaging and medical informatics. In: Medical Imaging and Informatics: 2nd International Conference, MIMI 2007. Gao, Xiaohong W. and Müller, Henning and Loomes, Martin J. and Comley, Richard A. and Luo, Shuqian, eds. Lecture Notes in Computer Science. (4987). Springer, Berlin. ISBN 9783540794899

Ever, Enver and Gemikonakli, Orhan and Sanei, H. and Kocyigit, Altan (2008) An analytical approach for optimising the number of repairmen for large scale, homogeneous, multi-server systems. In: EMSS 2008: 20th European modeling and simulation symposium, 17th - 19th Sept. 2008, Briatico, Italy.

Feng, Lifang and Fan, Pingzhi and Tang, Xiaohu and Loo, Jonathan (2008) Generalized Pairwise Z-complementary codes. IEEE Signal Processing Letters, 15 . pp. 377-380. ISSN 1070-9908

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim (2008) Prototype system for semantic retrieval of neurological PET images. In: Medical imaging and informatics: 2nd international conference, MIMI 2007, Beijing, China, August 14-16, 2007. Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Muller, Henning and Luo, Shuqian, eds. Lecture notes in computer science, 4987 (4987). Springer, Berlin, pp. 179-188. ISBN 9783540794905

Gao, Xiaohong W. and Clark, John (2008) A fast approach to segmentation of PET brain images for extraction of features. In: Medical imaging and informatics. Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Muller, Henning and Luo, Shuqian, eds. Lecture Notes in Computer Science (4987). Springer, Berlin, pp. 197-206. ISBN 3794521935

Gemikonakli, Orhan and Kirsal, Yoney (2008) Improving Kerberos security through the combined use of the timed authentication protocol and frequent key renewal. In: Cybernetics and intelligent systems: 2008 IEEE Conference. Institute of Electrical and Electronics Engineers, pp. 153-158. ISBN 9781424416738

Gemikonakli, Orhan and Kirsal, Yoney (2008) Further improvements to the Kerberos timed authentication protocol. In: Advances in computer and information sciences and engineering. Sobh, Tarek, ed. Springer, Dordrecht. ISBN 9781402087400

Georgiades, Andrew and Luo, Yuan and Lasebae, Aboubaker and Comley, Richard A. (2008) Introducing mobile home agents into the distributed authentication protocol to achieve location privacy in mobile IPv6. International Journal of Communications, 2 (3). pp. 185-194. ISSN 1932-8036

Hijon-Neira, Raquel and Velazquez-Iturbide, J. Angel and Barn, Balbir and Oussena, Samia (2008) A comparative study on the analysis of students interactions in e-learning. In: Advanced Learning Technologies, 2008. ICALT 2008. Eighth IEEE International Conference. Institute of Electrical and Electronics Engineers, pp. 20-22. ISBN 9780769531670

Khan, S. and Mahmud, S. A. and Loo, Jonathan and Al-Raweshidy, Hamed (2008) A cross layer rate adaptation solution for IEEE 802.11 networks. Computer Communications, 31 (8). pp. 1638-1652. ISSN 0140-3664

Kocyigit, Altan and Ever, Enver and Gemikonakli, Orhan (2008) Analytical modelling of large scale multi-server systems with deferred repairs: a reward rate approach. In: Computer modeling and simulation , 2008 . EMS '08 . Second UKSIM European symposium. IEEE Computer Society, pp. 447-452.

Kocyigit, Altan and Gemikonakli, Orhan and Ever, Enver (2008) Cost reduction in high power computing using a deferred repair strategy: a simulation study. In: UKSIM 2008: Tenth International Conference on Computer Modelling and Simulation: proceedings. Al-Dabass, David, ed. IEEE Computer Society., Los Alamitos, California, pp. 354-359. ISBN 9780769531144

Li, Yue and Nguyen, Huan X. and Xing, Weixi (2008) Optimum performance model of ARQ protocol under adaptive modulation scheme. In: Communications, 2008. ICC '08. IEEE International Conference [proceedings]. IEEE, pp. 225-229. ISBN 9781424420759

Liberti, Leo and Raimondi, Franco (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743

Mapp, Glenford E. (2008) Y-Comm research [web page]. Middlesex University.

Mostarda, Leonardo and Dong, Changyu and Dulay, Naranker (2008) Place and time authentication of cultural assets. International Federation for Information processing Information IFIP, 263 . pp. 279-294. ISSN 1571-5736

Mostarda, Leonardo and Navarra, Alfredo (2008) Distributed intrusion detection systems for enhancing security in mobile wireless sensor networks. International Journal of Distributed Sensor Networks, 4 (2). pp. 83-109. ISSN 1550-1329

Nguyen, Huan X. and Choi, Jinho (2008) Joint design of groupwise STBC and SIC based receiver. IEEE Communication Letters, 12 (2). pp. 115-117. ISSN 1089-7798

Nguyen, Huan X. and Choi, Jinho (2008) Layered groupwise STBC: list-based decoding using flexible length. In: Spread Spectrum Techniques and Applications, 2008. ISSSTA '08. IEEE 10th International Symposium [proceedings]. IEEE, pp. 703-707. ISBN 9781424422036

Raimondi, Franco and Skene, James and Emmerich, Wolfgang (2008) Efficient online monitoring of web-service SLAs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Harrold, Jean and Murphy, Gail, eds. Association for Computing Machinery, pp. 170-180. ISBN 9781595939951

Russello, Giovanni and Mostarda, Leonardo and Dulay, Naranker (2008) ESCAPE: a component-based policy framework for sense and react applications. Lecture Notes in Computer Science, 5282 . pp. 212-229. ISSN 0302-9743

Sama, Michele and Raimondi, Franco and Rosenblum, David and Emmerich, Wolfgang (2008) Algorithms for efficient symbolic detection of faults in context-aware applications. In: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers, pp. 1-8. ISBN 9781424427765

Shaikh, Fatema and Lasebae, Aboubaker and Mapp, Glenford E. (2008) Proactive policy management for heterogeneous networks. In: 3rd International Conference on Information and Communication Technologies: from Theory to Applications (ICTTA 2008), 07-11 Apr 2008, Umayyad Palace, Damascus, Syria.

Tun, Myo and Loo, Jonathan and Cosmas, John (2008) Enabling error-resilient internet broadcasting using motion compensated spatial partitioning and packet FEC for the Dirac Video Codec. Journal of Multimedia, 3 (2). pp. 1-11. ISSN 1796-2048

Tun, Myo and Loo, Jonathan and Cosmas, John (2008) Rate control algorithm based on quality factor optimization for Dirac video codec. Signal Processing: Image Communication, 23 (9). pp. 649-664. ISSN 0923-5965

Tun, Myo and Loo, Jonathan and Cosmas, John (2008) Semi-hierarchical based motion estimation algorithm for the dirac video encoder. WSEAS Transactions on signal Processing, 4 (5). pp. 261-270. ISSN 1790-5052

Xing, Weixi and Nguyen, Huan X. and Li, Yue (2008) WiMAX fast-moving access network. Wireless Communications and Networking, IEEE Conference, 2008 . pp. 2663-2668. ISSN 1525-3511

Zahrani, M. S. and Loomes, Martin J. and Malcolm, J. A. and Albrecht, Andreas A. (2008) A local search heuristic for bounded-degree minimum spanning trees. Engineering Optimization, 40 (12). pp. 1115-1135. ISSN 0305-215X

Zahrani, M. S. and Loomes, Martin J. and Malcolm, J. A. and Ullah, A. Z. M. Dayem and Steinhoefel, K. and Albrecht, Andreas A. (2008) Genetic local search for multicast routing with pre-processing by logarithmic simulated annealing. Computers & Operations Research, 35 (6). pp. 2049-2070. ISSN 0305-0548

Zhang, Yue and Zhang, Chenqi and Cosmas, John and Loo, Jonathan and Di Bari, Raffaele and Lostanlen, Yves and Bard, Maurice (2008) Analysis of DVB-H network coverage with the application of transmit diversity. IEEE Transactions on Broadcasting, 54 (3). pp. 568-577. ISSN 0018-9316

Zhuo, Xue and Loo, Jonathan and Cosmas, John and Yip, Amanda (2008) Distributed video coding in wireless multimedia sensor network for multimedia broadcasting. WSEAS transactions on communications, 7 (5). pp. 418-427. ISSN 1109-2742

Zhuo, Xue and Loo, Jonathan and Cosmas, John and Yip, Pik Yee (2008) An efficient error resilience scheme based on Wyner-Ziv coding for region-of-interest protection of wavelet based video transmission. WSEAS Transaction on Circuits and Systems, 7 (4). pp. 277-286. ISSN 1109-2734

2007

Al-Khwildi, Ali and Khan, S. and Loo, Jonathan and Al-Raweshidy, Hamed (2007) Adaptive link-weight routing protocol using cross-layer communication for MANET. WSEAS transactions on communications, 6 (11). pp. 833-839. ISSN 1109-2742

Barn, Balbir and Dexter, Hilary (2007) An experiment with conversation theory as a candidate for a meta learning theory. In: CATE '07 Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education. Uskov, Vladimir, ed. ACTA Press, pp. 115-120. ISBN 9780889867000

Barn, Balbir and Oussena, Samia (2007) Applying component concepts to service oriented design: a case study. In: ACT4SOC 2007: Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Barcelona, Spain, July 22-25, 2007. Sinderen, Marten van, ed. Institute for Systems and Technologies of Information, Control and Communication, pp. 31-41. ISBN 9789898111081

Chakka, Ram and Ever, Enver and Gemikonakli, Orhan (2007) Joint-state modeling for open queuing networks with breakdowns, repairs and finite buffers. In: Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS 2007). IEEE, pp. 260-266. ISBN 9781424418534

Clark, Tony (2007) A domain specific language for interactive applications. In: TOOLS EUROPE 2007: Object, Models, Components and Patterns, 24-27 June 2007, Zurich, Switzerland.

Costantini, Stefania and Mostarda, Leonardo and Tocchio, Arianna and Tsintza, Panagiota (2007) Agents and security in a cultural assets transport scenario. In: Workshop from Objects to Agents., 24-25 September, 2007, Genova, Italy.

Costantini, Stefania and Mostarda, Leonardo and Tocchio, Arianna and Tsintza, Panagiota (2007) DALICA: intelligent agents for user profile deduction. In: SEKE 2007: the 19th international conference on software engineering & knowledge engineering: proceedings. Knowledge Systems Institute Graduate School,, Illinois. ISBN 9781891706202

Ever, Enver (2007) Performability modelling of homogenous and heterogeneous multiserver systems with breakdowns and repairs. PhD thesis, Middlesex University.

Gemikonakli, Orhan and Kirsal, Yoney (2007) An authentication protocol to address the problem of the trusted 3rd Party authentication protocols. In: Advances and innovations in systems, computing sciences and software engineering. Elleithy, Khaled., ed. Springer. ISBN 9781402062636

Gemikonakli, Orhan and Kirsal, Yoney (2007) Frequent key renewal under pseudo-secure conditions for increased security in kerberos authentication and its impact on system performability. In: Global e-Security: proceedings of the 3rd Annual International Conference, 2007. Jahankhani, Hamid, ed. ICGeS. ISBN 9780955000843

Gemikonakli, Orhan and Mapp, Glenford E. and Ever, Enver and Thakker, Dhawal (2007) Modelling network memory servers with parallel processors, break-downs and repairs. In: 40th Annual Simulation Symposium.(ANSS 2007). IEEE Computer Society, California, pp. 11-20. ISBN 9780769528144

Gemikonakli, Orhan and Sanei, Hadi and Ever, Enver (2007) Approximate solution for the performability of Markovian queuing networks with a large number of servers. In: 5th International Workshop on Signal Processing for Wireless Communication SPWC 2007,, 6th-8th June, 2007, London, UK.

Inverardi, Paola and Mostarda, Leonardo (2007) DESERT: a decentralized monitoring tool generator. IEEE/ACM International Conference on Automated Software Engineering: proceedings . ISSN 1938-4300

Inverardi, Paola and Mostarda, Leonardo (2007) A distributed monitoring system for enhancing security and dependability at architectural level. Lecture Notes in Computer Science, 4615 . pp. 210-236. ISSN 0302-9743

Mapp, Glenford E. and Shaikh, Fatema and Crowcroft, Jon and Cottingham, David and Baliosian, Javier (2007) Y-Comm: a global architecture for heterogeneous networking. In: 3rd International Conference on Wireless Internet, 22nd-24th October. 2007, Austin, Texas.

Mapp, Glenford E. and Thakker, Dhawal and Silcott, David (2007) The design of a storage architecture for mobile heterogeneous devices. In: Networking and Services, 2007. ICNS. Third International Conference on. IEEE Computer society. ISBN 0769528589

Moreira, Edson and Cottingham, David and Crowcroft, Jon and Hui, Pan and Mapp, Glenford E. and Vanni, Renata M. P. (2007) Exploiting contextual handover information for versatile services in NGN environments. In: Digital Information Management, 2007. ICDIM '07. 2nd International Conference. IEEE Computer society, pp. 506-512. ISBN 9781424414758

Mostarda, Leonardo and Tocchio, Arianna and Inverardi, Paola and Costantini, Stefania (2007) A geo time authentication system. International Federation for Information processing Information IFIP, 238 . pp. 123-128. ISSN 1571-5736

Nguyen, Huan X. and Choi, Jinho (2007) Decision feedback detection for MIMO-ISI channels: design using fixed and adaptive constraints. IEEE Transactions on Vehicular Technology, 56 (6). pp. 3931-3937. ISSN 0018-9545

Nguyen, Huan X. and Choi, Jinho (2007) Iterative detection for MIMO-ISI channels using soft decision feedback. IEEE Vehicular Technology Conference, 2007 (65). pp. 2019-2022. ISSN 1090-3038

Oussena, Samia and Sparks, Dan and Barn, Balbir (2007) BPEL patterns for implementing variations in SOA applications. In: ICEIS 2007: Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007. Cardoso, Jorge and Cordeiro, Jose and Filipe, Joaquim, eds. Institute for Systems and Technologies of Information, Control and Communication, pp. 295-300. ISBN 9789728865900

Shah, Purav and Ahmed, M. Z. and Ambroze, M. and Tjhai, C. and Davey, P. J. (2007) Novel soft-feedback equalisation method for multilevel magnetic recording. IEEE transactions on magnetics, 43 (6). pp. 2280-2282. ISSN 0018-9464

Shah, Purav and Ahmed, M. Z. and Kurihara, Y. (2007) New method for generalised PR target design for perpendicular magnetic recording. In: The Eighth Perpendicular Magnetic Recording Conference (PMRC 2007), Oct 15 - 17, 2007, Tokyo International Forum, Tokyo, Japan.

Shaikh, Fatema and Mapp, Glenford E. and Lasebae, Aboubaker (2007) Proactive policy management using TBVH mechanism in heterogeneous networks. In: Proceedings of the International Conference and Exhibition on 'Next Generation Mobile Application, Services and Technologies' (NGMAST 2007), 12-14 September, 2007, Cardiff, Wales.

Tun, Myo and Loo, Jonathan and Cosmas, John (2007) Error-resilient performance of Dirac Video Codec over Packet-Erasure Channel. IEEE Transactions on Broadcasting, 53 (3). pp. 649-659. ISSN 0018-9316

Wong, B. L. William and Rozzi, Simone and Boccalatte, Alessandro and Gaukrodger, Stephen and Amaldi, Paolo and Fields, Bob and Loomes, Martin J. and Martin, Peter (2007) 3D-in-2D Displays for ATC. In: 6th EUROCONTROL innovative research workshop & exhibition. Brochard, Marc and Jurgens, Martina, eds. Eurocontrol, pp. 47-62.

Zhang, Yue and Cosmas, John and Loo, Jonathan and Bard, Maurice and Di Bari, Raffaele (2007) Analysis of cyclic delay diversity on DVB-H systems over spatially correlated channel. IEEE Transaction on Broadcasting, 53 (1). pp. 247-254. ISSN 0018-9316

2006

Barn, Balbir (2006) Conceptual modeling of educational theories: an ontological approach. In: Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age: Barcelona, Spain, 2006. IADIS. ISBN 9728924224

Chakka, Ram and Ever, Enver and Gemikonakli, Orhan (2006) Modelling open networks with breakdowns, repairs and finite buffers: using an IPP departure process model. In: 10th International Conference on Computers, 13-15 Jul 2006, Athens, Greece.

Chakka, Ram and Ever, Enver and Gemikonakli, Orhan (2006) An approach to modelling open networks with unreliable servers and finite buffers. WSEAS Transactions on Computers, 5 (11). pp. 2536-2543. ISSN 1109-2750

Ever, Enver and Gemikonakli, Orhan (2006) Mathematical modelling for performability analysis of homogeneous multi-server systems with deferred repairs. In: The proceedings of the European Modelling Symposium: 11-12 September 2006. UCL, London, pp. 84-88. ISBN 9780951650936

Ever, Enver and Gemikonakli, Orhan and Chakka, Ram (2006) Performability analysis of highly available clusters with break-downs and deferred repairs. In: HET-NETs '06 : 4th International working conference on performance modelling and evaluation of heterogeneous networks., 11th-13th Sept. 2006, Ilkley, West Yorkshire, U.K.

Ever, Enver and Gemikonakli, Orhan and Chakka, Ram (2006) A mathematical model for performability of Beowulf clusters. In: 39th Annual Simulation Symposium: proceedings. IEEE Computer Society, California, pp. 118-126. ISBN 9780769525594

Ever, Enver and Gemikonakli, Orhan and Chakka, Ram (2006) A mathematical model for highly available clusters with one head and several identical computing nodes. In: UKSIM 2006: 9th International conference on computer modelling and simulation. Al-Begain, Khalid and Al-Dabass, David and Orsoni, Alessandra, eds. United Kingdom Society for Modelling and Simulation, Oxford, pp. 32-37. ISBN 9780951650929

Gemikonakli, Orhan (2006) Analysis of a phase-shift technique for inter-modulation cancellation proposed for 2-Carrier QPSK Systems. In: ICCTA '06: International conference on information and communication technologies; from theory to applications, 24-28 April 2006, Damascus, Syria. Institute of Electrical and Electronics Engineers. ISBN 9780780395213

Gemikonakli, Orhan (2006) E-Government and its Applications. In: The Chamber of Architects and Engineers, TRNC, August 2006, Nicosia, Cyprus,.

Gemikonakli, Orhan and Eneh, Agozie (2006) Analysis of security protocols for authentication in distributed systems. In: Special issue: applied reconfigurable computing: papers selected from the First International Workshop on Applied Reconfigurable Computing (ARC 2005), held in conjunction with the IADIS International Conference Applied Computing (AC2005) in Algarve. Cardoso, João M. P., ed. Taylor & Francis, London, pp. 301-305.

Gemikonakli, Orhan and Mapp, Glenford E. and Thakker, Dhawal and Ever, Enver (2006) Modelling and performability analysis of network memory servers. In: 39th Annual Simulation Symposium: proceedings. IEEE Computer Society, California, pp. 127-134. ISBN 9780769525594

Hay, J. and Loo, Jonathan (2006) Evolutionary strategy search algorithm for fast block motion estimation. Electronics Letters, 42 (15). pp. 854-856. ISSN 0013-5194

Inverardi, Paola and Mostarda, Leonardo and Navarra, Alfredo (2006) Distributed IDSs for enhancing security in mobile wireless sensor networks. Proceedings: International Conference on Advanced Information Networking and Applications . pp. 116-120. ISSN 1550-445X

Loomes, Martin J. and Albrecht, Andreas A. and Malcolm, J. A. and Zahrani, M. S. (2006) Landscape analysis for multicast routing. Computer Communications, 30 (1). pp. 101-116. ISSN 0140-3664

Luo, Yuan and Lasebae, Aboubaker and Comley, Richard A. and Georgiades, Andrew (2006) Distributed authentication protocol utilizing dual identity return routability for the security of binding updates within mobile IPv6. WSEAS transactions on communications, 5 (10). pp. 1109-2742. ISSN 1109-2742

Luo, Yuan and Lasebae, Aboubaker and Comley, Richard A. and Georgiades, Andrew (2006) Dual identity return routability for the security of mobile IPv6 binding updates within the distributed authentication protocol. In: WSEAS Conferences: Elounda, Agios Nikolaos, Crete, Greece, August 18-20, 2006. WSEAS, Athens. ISBN 9789608457515

Mapp, Glenford E. and Cottingham, David and Shaikh, Fatema and Vidales, Pablo and Patanapongpibul, Leo and Baliosian, Javier and Crowcroft, Jon (2006) An architectural framework for heterogeneous networking. In: Proceedings of the International Conference on Wireless Information Networks and Systems : Setúbal, Portugal, August 7 - 10, 2006 . Vasiu, Luminita, ed. Institute of Systems and Technologies of Information, Control and Communication, Portugal. ISBN 9789728865658

Mapp, Glenford E. and Hopper, Andy and Pantanapongpibul, Leo (2006) An end-system approach to mobility management for 4G networks and its application to thin-client computing. Mobile Computing and Communications Review, 10 (3). pp. 13-33. ISSN 1559-1662

Nguyen, Huan X. and Choi, Jinho (2006) Iterative OFDM receiver with channel estimation and frequency-offset compensation. Communications (ICC), IEEE International Conference, 2006 . pp. 4583-4588. ISSN 1550-3607

Nguyen, Huan X. and Choi, Jinho (2006) Iterative symbol-by-symbol decision feedback detection for MIMO-ISI channels. In: Circuits and Systems, 2006. APCCAS 2006. IEEE Asia Pacific Conference [proceedings]. IEEE, pp. 139-142. ISBN 1424403871

Shah, Purav and Ahmed, M. Z. and Ambroze, M. and Tjhai, C. and Davey, P. J. (2006) Novel multi-level magnetic recording using modern error correction. In: European Phase Change and Ovonic Symposium, May 29 - 31, 2006., Grenoble, France.

Shaikh, Fatema and Lasebae, Aboubaker and Mapp, Glenford E. (2006) Client-based SBM layer for predictive management of traffic flows in heterogeneous networks. In: 2nd IEEE International Conference on Information and Communication Technologies: from Theory to Applications (ICTTA 2006), 24-28 Apr 2006, Damascus, Syria.

Yao, Wenbing and Loo, Jonathan (2006) Wide area networks. In: Wiley Encyclopedia of Biomedical Engineering, 6-Volume Set. Akay, Metin, ed. Wiley, Hoboken. ISBN 9780471249672

2005

Ahmed, M. Z. and Farhner, A. and Shah, Purav (2005) Asymmetric MAP decoding for perpendicular magnetic recording. In: International Symposium on Physics of Magnetic Materials (ISPMM 2005), 14th-16th september, 2005, Singapore.

Ever, Enver and Gemikonakli, Orhan and Chakka, Ram and Do, Tien Van (2005) The use of Markov Modulated Poisson Process (MMPP) in open queuing systems with breakdowns and repairs. In: Prep 2005.

Ever, Enver and Gemikonakli, Orhan and Chakka, Ram and Do, Tien Van (2005) Numerical solution to the performability of a multiprocessor system with reconfiguration and rebooting delays. In: Simulation in wider Europe: 19th European conference on modelling and simulation ECMS 2005. Merkuryev, Yuri and Zobel, Richard and Kerchoffs, Eugene, eds. ECMS, pp. 766-770. ISBN 9781842331156

Ever, Enver and Gemikonakli, Orhan and Chakka, Ram and Do, Tien Van (2005) A mathematical model for performability evaluation of heterogeneous multiprocessor systems with reconfiguration and rebooting delays. In: Modelling and simulation 2005: the European simulation and modelling conference 2005, ESM 2005. Teixeira, J. Manuel Feliz, ed. EUROSIS, Ghent. ISBN 9789077381229

Gemikonakli, Orhan and Eneh, Agozie (2005) The pre-emptive protocol design and analysis: hope for secure communication in societies with economic deprivation. International journal of technology, knowledge and society., 1 (5). pp. 35-42. ISSN 1832-3669

Gemikonakli, Orhan and Eneh, Agozie (2005) An overview of analysis of security standards for authentication in distributed systems. In: Proceedings : and the proceedings of workshops: WIS '05, MSVVEIS '05, NLUCS '05, IWUC '05, WOSIS '05, CSAC '05, PRIS '05, WSMDEIS '05 and DCEIS '05 ; Miami, U.S.A., May 24 - 28, 2005. Weghorn, Hans, ed. INSTICC, Setúbal. ISBN 9789728865245

Gemikonakli, Orhan and Kirsal, Yoney and Eneh, Agozie (2005) A solution for the problem of trusted third party for IEEE 802.11b networks. In: 6th Annual postgraduate symposium on the convergence of telecommunications, networking and broadcasting: PGNET 2005. Merabti, Madjid, ed. Liverpool John Moores University, School of Computing & Mathematical Sciences, Liverpool, pp. 333-338. ISBN 1902560116

Inverardi, Paola and Mostarda, Leonardo (2005) A distributed intrusion detection approach for secure software architecture. Lecture Notes in Computer Science, 3527 . pp. 168-184. ISSN 0302-9743

Inverardi, Paola and Mostarda, Leonardo and Tivoli, Massimo and Autili, Marco (2005) Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. IEEE/ACM International Conference on Automated Software Engineering: proceedings . pp. 405-409. ISSN 1938-4300

Loomes, Martin J. and Davey, Neil and Frank, Ray J. and Buchala, Samarasena (2005) The role of global and feature based information in gender classification of faces: a comparison of human performance and computational models. International Journal of Neural Systems, 15 (1-2). pp. 121-128. ISSN 0129-0657

Luo, Yuan and Lasebae, Aboubaker and Comley, Richard A. and Georgiades, Andrew (2005) Binding update security for mobile IPv6 using a distributed authentication protocol. WSEAS transactions on communications, 4 (9). pp. 1109-2742. ISSN 1109-2742

Luo, Yuan and Lasebae, Aboubaker and Comley, Richard A. and Georgiades, Andrew (2005) Distributed authentication protocol for the security of binding updates in mobile IPv6. In: Proceedings of the 9th WSEAS international CSCC multiconference: circuits 05, systems 05, computers 05, communications 05. WSEAS. ISBN 9608457297

Mapp, Glenford E. and Baliosian, Javier and Serrat, Joan and Vidales, Pablo (2005) Autonomic system for mobility support in 4G networks. IEEE Journal on Selected Areas in Communications, 23 (12). pp. 2288-2304. ISSN 0733-8716

Mapp, Glenford E. and Stajano, Frank and Crowcroft, Jon and Vidales, Pablo (2005) A practical approach for 4G systems: deployment of overlay networks. In: First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities, Tridentcom 2005, Trento, Italy. IEEE Computer Society Press., pp. 172-181. ISBN 0-7695-2219-X

Nguyen, Huan X. and Choi, Jinho (2005) Iterative channel estimation and turbo decoding in OFDM systems. IEEE Vehicular Technology Conference, 2005 (62). pp. 166-170. ISSN 1090-3038

Nguyen, Huan X. and Choi, Jinho (2005) On the constrained MMSE decision feedback equalization for MIMO wireless systems. In: Communications, 2005 Asia-Pacific Conference [proceedings]. IEEE, pp. 329-333. ISBN 0780391322

Shaikh, Fatema and Lasebae, Aboubaker and Mapp, Glenford E. (2005) Stream bundle management layer for optimum management of co-existing telemedicine traffic streams under varying channel conditions in heterogeneous networks. In: MIT 2005, China.

2004

Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) Language driven development and MDA. MDA Journal .

Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) Transformation language design: a metamodelling foundation. In: Graph transformations. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 223-226. ISBN 9783540232070

Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) An eXecutable metamodelling facility for domain specific language design. In: The 4th OOPSLA Workshop on domain-specific modeling, 24-28 October, 2004, Vancouver.

Gemikonakli, Orhan and Chakka, Ram and Do, Tien Van and Le Xhat, T. (2004) A new performance model for web servers. In: 5th EUROSIM congress on modeling and simulation. Attiya, Gamal and Hamam, Yskander, eds. ESIEE, Paris.

Gemikonakli, Orhan and Chakka, Ram and Papp, Denes and Do, Tien Van (2004) Level dependent band QBD processes: Steady state solution and applications. In: Exploring the effect of inter-flow interference on TCP performance in http://www.comp.brad.ac.uk/het-net/HET-NETs04/CameraPapers/WP8.pdf. University of Glasgow, Department of Computing Science, Glasgow, WP8/1-WP8/6. ISBN 0954015169

Georgalas, Nektarios and Azmoodeh, Manooch and Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) MDA-driven development of standard-compliant OSS components: the OSS/J inventory case-study. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on methodologies and transformations, 7-8 September 2004, Canterbury, England.

Luo, Yuan and Comley, Richard A. and Lasebae, Aboubaker and Georgiades, Andrew (2004) Trinity protocol for authentication of binding updates in mobile IPv6. WSEAS transactions on communications, 3 (3). pp. 872-877. ISSN 1109-2742

Nguyen, Huan X. and Choi, Jinho (2004) Reduced-rank adaptive time-domain channel estimation for OFDM systems. In: Communications Systems, 2004. ICCS 2004. The Ninth International Conference [proceedings]. IEEE, pp. 135-139. ISBN 0780385497

Shaikh, Fatema and Lasebae, Aboubaker and Whitney, Gill (2004) Critical analysis of high speed wireless standards for transferring telementoring information. In: ICTTA'04: 2004 International conference on information & communication technologies: from theory to applications. Institute of Electrical and Electronics Engineers: French section. ISBN 9780780384828

2003

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to building implementable model transformations. In: Workshop in Software Model Engineering (WiSME) 2003, October 2003, San Francisco.

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to model transformations. In: Workshop on Model Driven Architecture: Foundations and Applications, 26-27 June 2003, University of Twente Enschede, The Netherlands.

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A pattern based model driven approach to model transformations. In: Metamodelling for MDA 2003: First International Workshop York, UK, November 2003: proceedings. Evans, Andy and Sammut, Paul and Willans, James S., eds. University of York, York, pp. 110-128.

Appukuttan, Biju K. and Clark, Tony and Tratt, Laurence and Reddy, Sreedhar and Venkatesh, R. and Sammut, Paul and Evans, Andy and Sammut, Paul and Willans, James (2003) Revised submission for MOF 2.0 query / views / transformations RFP. Technical Report. Object Management Group.

Clark, Tony and Evans, Andy and Kent, Stuart (2003) Aspect-oriented metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620

Clark, Tony and Evans, Andy and Maskeri, Girish and Sammut, Paul and Willans, James (2003) Modeling language transformations. L'Objet, 9 (4). pp. 31-51. ISSN 1262-1137

Gemikonakli, Orhan (2003) A phase-shift technique for intermodulation cancellation. In: Ninth international conference on HF radio systems and techniques. IEEE, London, pp. 75-77.

Mapp, Glenford E. and Pantanapongpibul, Leo (2003) A client-based handoff mechanism for mobile IPv6 wireless networks. In: 8th IEEE Symposium on Computers and Communications (ISCC), Antalya, Turkey. Proceedings. IEEE Computer Society Press., pp. 563-568. ISBN 0-7695-1961-X

Mellor, Stephen J. and Clark, Tony and Futagami, Takao (2003) Model-driven development: guest editors' introduction. IEEE Software, 20 (5). pp. 14-18. ISSN 0740-7459

Scott, James and Mapp, Glenford E. (2003) Link layer-based TCP optimisation for disconnecting networks. Computer Communications Review, 33 (5). ISSN 0146-4833

Tratt, Laurence and Clark, Tony (2003) Issues surrounding model consistency and QVT. Technical Report. King's College London, Department of Computer Science..

Tratt, Laurence and Clark, Tony (2003) Model transformations in converge. In: 2nd Workshop in Software Model Engineering (WiSME 2003), October 2003, San Francisco.

Tratt, Laurence and Clark, Tony (2003) Using icon-derived technologies to drive model transformations. In: Workshop in Software Model Engineering (WiSME) 2003, October 2003, San Francisco.

2002

Appukuttan, Biju K. and Clark, Tony and Evans, Andy and Maskeri, Girish and Sammut, Paul and Tratt, Laurence and Willans, James (2002) Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01). Working Paper. Object Management Group.

Appukuttan, Biju K. and Clark, Tony and Evans, Andy and Maskeri, Girish and Sammut, Paul and Tratt, Laurence and Willans, James (2002) A pattern based approach to defining the dynamic infrastructure of UML 2.0. In: Fourth workshop on Rigorous Object Oriented Methods,, March 2002, University College, London.

Clark, Tony and Evans, Andy and France, Robert (2002) Object-oriented theories for model driven architecture. In: Advances in object-oriented information systems. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 283-292. ISBN 9783540440888

Clark, Tony and Evans, Andy and Kent, Stuart (2002) Patterns for renaming and stamping out object-oriented models. In: International Conference on Software Engineering Research and Practice, SERP 2002, 2002, Las Vagas, Nevada, USA.

Clark, Tony and Evans, Andy and Kent, Stuart (2002) Unambiguous UML (2U) submission to UML 2 infrastructure RFP. Technical Report. Object Management Group, Inc. (OMG).

Clark, Tony and Evans, Andy and Kent, Stuart (2002) A meta-model facility for a family of UML constraint languages. Lecture Notes in Computer Science, 2263 . pp. 440-443. ISSN 0302-9743

Clark, Tony and Evans, Andy and Kent, Stuart (2002) A metamodel for package extension with renaming. In: «UML» 2002 — the Unified Modeling Language. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 305-320. ISBN 9783540442547

Clark, Tony and Evans, Andy and Kent, Stuart (2002) A programmers guide to MMT. Technical Report. King's College.

Clark, Tony and Evans, Andy and Kent, Stuart (2002) Engineering modelling languages: a precise meta-modelling approach. In: Fundamental approaches to software engineering. Kutsche, Ralf-Detlef and Weber, Herbert, eds. Lecture Notes in Computer Science (2306). Springer, pp. 159-172. ISBN 9783540433538

Clark, Tony and Warner, Jos (2002) Object modeling with the OCL: the rationale behind the object constraint language. Lecture Notes in Computer Science, 2263 . Springer, Berlin. ISBN 9783540431695

Gemikonakli, Orhan and Chakka, Ram and Basappa, P. (2002) Modelling multiserver systems with time or operation dependent breakdowns, alternate repair strategies, reconfiguration and rebooting delays. In: Proceedings of the 2002 international symposium on performance evaluation of computer and telecommunication systems, SPECTS 2002. Obaidat, Mohammad S., ed. Society for Modeling and Simulation International., San Diego, Calif.. ISBN 9781565552524

Gemikonakli, Orhan and Chakka, Ram and Harrison, P. (2002) Approaches to modelling open networks with bursty arrivals. In: Performance modelling and evaluation of ATM & IP networks: [15 papers selected from those originally accepted at the eighth IFIP workshop on 'performance modelling and evaluation of ATM&IP networks']. Kouvatsos, Demetres, ed. Elsevier, Amsterdam.

Loo, Jonathan and Salman, K. and Alukaidey, T. and Jimaa, S. A. (2002) Parallelised max-Log-Map model. Electronics Letters, 38 (17). pp. 971-972. ISSN 0013-5194

Loomes, Martin J. and Albrecht, Andreas A. and Steinhoefel, K. and Taupitz, M. (2002) Adaptive simulated annealing for CT image classification. International Journal of Pattern Recognition and Artificial Intelligence, 16 (5). pp. 573-588. ISSN 0218-0014

Maskeri, Girish and Willans, James and Clark, Tony and Evans, Andy and Kent, Stuart and Sammut, Paul (2002) A pattern based approach to defining translations between languages. In: Fourth Workshop on Rigorous Object-Oriented Methods, ROOM 4, March 2002, King's College, London.

Scott, James and Hoffman, Frank and Addlesee, Mike and Mapp, Glenford E. and Hopper, Andy (2002) Networked surfaces: a new concept in mobile networking. Mobile Networks and Applications, 7 (5). pp. 353-364. ISSN 1383-469X

Tratt, Laurence and Clark, Tony (2002) Enhancing the template mechanism. In: 1st Workshop in Software Model Engineering (WiSME 2002), 2002, Dresden.

Tratt, Laurence and Clark, Tony and Evans, Andy (2002) Modelling generalization and other class-to-parent relationships. Technical Report. Kings College.

Willans, James and Sammut, Paul and Maskeri, Girish and Evans, Andy and Clark, Tony (2002) Defining OCL expressions using templates. Technical Report. King's College.

2001

Alvarez, Jose Maria and Clark, Tony and Evans, Andy and Sammut, Paul (2001) An action semantics for MML. In: Fourth International Conference on the Unified Modeling Language (UML 2001) on "Modeling Languages, Concepts and Tools", 1 - 5 October, 2001, Toronto, Ontario, Canada.

Clark, Tony and D'Souza, Desmond (2001) A translational semantics for UML. Technical Report. King's College.

Clark, Tony and Evans, Andy and Kent, Stuart (2001) The metamodelling language calculus: foundation semantics for UML. In: Fundamental approaches to software engineering. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 17-31. ISBN 9783540418634

Clark, Tony and Evans, Andy and Kent, Stuart and Sammut, Paul (2001) The MMF approach to engineering object-oriented design languages. In: First Workshop on Language Descriptions, Tools and Applications (LDTA 2001), April 2001, Genoa.

Riddoch, David and Pope, Steve and Roberts, Derek and Mapp, Glenford E. and Clarke, David and Ingram, David and Mansley, Kieran and Hopper, Andy (2001) Tripwire: a synchronization primitive for virtual memory mapped communication. Journal for Interconnection Networks, 2 (3). pp. 345-364. ISSN 0219-2659

2000

Clark, Tony (2000) Object-oriented refinement and proof using behaviour functions. In: Rigorous Object-Oriented Methods, 17 January 2000, York, UK.

Clark, Tony and Evans, Andy and Kent, Stuart (2000) Using profiles to re-architect the UML. In: 14th European Conference on Object-Oriented Programming (ECOOP), 12-16 June, 2000, Sophia Antipolis and Cannes, France.

Clark, Tony and Evans, Andy and Kent, Stuart and Brodsky, Steve and Cook, Steve (2000) A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach. Technical Report. pUML Group and IBM.

1999

Clark, Tony (1999) EBG: a lazy functional programming language implemented on the Java virtual machine. Technical Report. University of Bradford.

Clark, Tony (1999) Formal refinement and proof of a small java program. In: 13th European Conference on Object-Oriented Programming (ECOOP), 14-18 June, 1999, University of Lisbon, Portugal.

Clark, Tony (1999) Implementation of lazy agents in the functional language EBG. Technical Report. University of Bradford.

Clark, Tony (1999) Specification and implementation of a multi-agent calculus based on higher-order functions. Technical Report. University of Bradford.

Clark, Tony (1999) Typechecking UML static models. In: «UML»’99 — The Unified Modeling Language. Lecture Notes in Computer Science . Springer Berlin / Heidelberg. ISBN 9783540667124

Clark, Tony (1999) A semantic framework for object-oriented development. Technical Report. University of Bradford.

Clark, Tony (1999) A semantics for object-oriented design notations. Technical Report. University of Bradford.

Lasebae, Aboubaker (1999) Investigation of a mechatronic device for the remedial treatment of brain injured children. PhD thesis, Middlesex University.

1997

Clark, Tony (1997) Metaclasses and reflection in smalltalk. Technical Report. University of Bradford.

Clark, Tony (1997) Proving properties about programs which share. Technical Report. University of Bradford.

Clark, Tony (1997) ROO - a model for object-oriented reuse. Technical Report. University of Bradford.

Clark, Tony (1997) Transforming sequences using threaded morphisms. Technical Report. University of Bradford.

Clark, Tony and Evans, Andy (1997) Foundations of the Unified Modeling Language. In: Proceedings of the 2nd BCS-FACS Northern Formal Methods. Duke, D.J. and Evans, Andy, eds. Electronic Workshops in Computing . Springer.

1996

Clark, Tony (1996) Formal basis for the refinement of rule based transition systems. Journal of Functional Programming, 6 (2). pp. 329-354. ISSN 0956-7968

1995

Clark, Tony (1995) A lazy non-deterministic functional language. Technical Report. University of Bradford.

Clark, Tony and Palmer, I. J. (1995) The generation of animated sequences from state transition systems. In: Fifth Eurographics workshop on 'Programming Paradigms in Graphics', 2-3 September, 1995, Maastricht, The Netherlands.

Huang, Feng and Bacon, Jean and Mapp, Glenford E. (1995) Virtual memory support for distributed computing environments using a shared data object model. Distributed Systems Engineering, 2 (4). pp. 202-211. ISSN 0967-1846

1994

Clark, Tony (1994) Pattern recognition of noisy sequences of behavioural events using functional combinators. The Computer Journal, 37 (5). pp. 385-398. ISSN 0010-4620

Richardson, Tristan and Bennett, Frazer and Mapp, Glenford E. and Hopper, Andy (1994) Teleporting in an X Window System Environment. IEEE Personal Communications, 1 (3). pp. 6-12. ISSN 1070-9916

1993

Clark, Tony (1993) A basic model of KBS software. Technical Report. GEC-Marconi Research.

This list was generated on Wed Apr 26 04:14:29 2017 BST.