SensoLab group

TitleSensoLab group

Latest research outputs

Sort by Date Title
Power allocation for multiband coded OFDM systems with limited feedback
To, D., Nguyen, H., Choi, J. and Choi, S. 2011. Power allocation for multiband coded OFDM systems with limited feedback. 2011 IEEE Vehicular Technology Conference (VTC Fall). San Francisco, US 05 - 08 Sep 2011 IEEE. pp. 1-5 https://doi.org/10.1109/VETECF.2011.6093066

Conference paper

Revisiting Naur's programming as theory building for Enterprise Architecture modelling
Barn, B. and Clark, T. 2011. Revisiting Naur's programming as theory building for Enterprise Architecture modelling. Mouratidis, H. and Rolland, C. (ed.) CAiSE: 23rd International Conference on Advanced Information Systems Engineering. University of East London, UK 20 - 24 Jun 2011 Springer. pp. 229-236 https://doi.org/10.1007/978-3-642-21640-4_18

Conference paper

Re-thinking software engineering approaches: a critical reflection on theory building
Barn, B. and Clark, T. 2011. Re-thinking software engineering approaches: a critical reflection on theory building. Cuaresma, M., Shishkov, B. and Cordeiro, J. (ed.) ICSOFT 2011: 6th International Conference on Software and Database Technologies. Seville, Spain 18 - 21 Jul 2011 SCITEPRESS - Science and Technology Publications. pp. 59-64 https://doi.org/10.5220/0003610700590064

Conference paper

Ultra high density scanning electrical probe phase-change memory for archival storage
Wang, L., Wright, C., Shah, P., Aziz, M., Sebastian, A., Pozidis, H. and Pauza, A. 2011. Ultra high density scanning electrical probe phase-change memory for archival storage. Japanese Journal of Applied Physics. 50 (9S1), pp. 1-2. https://doi.org/10.1143/JJAP.50.09MD04

Article

Multi-channel distributed coordinated function over single radio in wireless sensor networks
Campbell, C., Loo, J., Gemikonakli, O., Khan, S. and Singh, D. 2011. Multi-channel distributed coordinated function over single radio in wireless sensor networks. Sensors. 11 (1), pp. 964-991. https://doi.org/10.3390/s110100964

Article

Network coding-based block ACK for wireless relay networks.
Vien, Q., Nguyen, H., Choi, J., Stewart, B. and Tianfield, H. 2011. Network coding-based block ACK for wireless relay networks. 2011 IEEE 73rd Vehicular Technology Conference (VTC Spring). Budapest, Hungary 15 - 18 May 2011 IEEE. https://doi.org/10.1109/VETECS.2011.5956413

Conference paper

Scanning probe memories - Technology and applications
Wright, C., Aziz, M., Shah, P. and Wang, L. 2011. Scanning probe memories - Technology and applications. Current Applied Physics. 11 (2, Supplement), pp. e104-e109. https://doi.org/10.1016/j.cap.2010.11.130

Article

LEAP: a precise lightweight framework for enterprise architecture
Clark, T., Barn, B. and Oussena, S. 2011. LEAP: a precise lightweight framework for enterprise architecture. 4th India Software Engineering Conference. Thiruvananthapuram, India 23 - 26 Feb 2011 Association for Computing Machinery (ACM). https://doi.org/10.1145/1953355.1953366

Conference paper

Write strategies for multiterabit per square inch scanned-probe phase-change memories
Wright, C., Shah, P., Wang, L., Aziz, M., Sebastian, A. and Pozidis, H. 2010. Write strategies for multiterabit per square inch scanned-probe phase-change memories. Applied Physics Letters. 97 (17). https://doi.org/10.1063/1.3506584

Article

Exploring gate-limited analytical models for high-performance network storage servers
Mapp, G., Thakker, D., Gemikonakli, O. and Middlesex University 2011. Exploring gate-limited analytical models for high-performance network storage servers. Journal of Computer and System Sciences. 77 (5). https://doi.org/10.1016/j.jcss.2010.08.002

Article

Towards an integrated network security framework using the Y-Comm architecture
Mapp, G., Crowcroft, J. and Phan, R. 2010. Towards an integrated network security framework using the Y-Comm architecture. in: Jahankhani, H., Watson, D., Me, G. and Leonhardt, F. (ed.) Handbook of electronic security and digital forensics Singapore World Scientific Publishing Co. Pte Ltd. pp. 169-183

Book chapter

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

PhD thesis

Providing security in 4G systems: unveiling the challenges
Aiash, M., Mapp, G., Lasebae, A., Phan, R., Middlesex University and Loughborough University 2010. Providing security in 4G systems: unveiling the challenges. Atmaca, T., Palicot, J., Amor, N., Tsiatsos, T., Marot, M. and Dini, O. (ed.) IEEE. pp. 439-444 https://doi.org/10.1109/AICT.2010.24

Conference paper

The design of a storage architecture for mobile heterogeneous devices.
Mapp, G., Thakker, D. and Silcott, D. 2007. The design of a storage architecture for mobile heterogeneous devices. IEEE Computer Society. https://doi.org/10.1109/ICNS.2007.113

Conference paper

An architectural framework for heterogeneous networking.
Mapp, G., Cottingham, D., Shaikh, F., Vidales, P., Patanapongpibul, L., Baliosian, J. and Crowcroft, J. 2006. An architectural framework for heterogeneous networking. Vasiu, L. (ed.) Portugal Institute of Systems and Technologies of Information, Control and Communication.

Conference paper

Y-Comm: a global architecture for heterogeneous networking.
Mapp, G., Shaikh, F., Crowcroft, J., Cottingham, D. and Baliosian, J. 2007. Y-Comm: a global architecture for heterogeneous networking. 3rd International Conference on Wireless Internet. Austin, Texas

Conference paper

An analytical approach for performance analysis of handoffs in the next generation integrated cellular networks and WLANs
Kirsal, Y., Gemikonakli, E., Ever, E., Mapp, G., Gemikonakli, O. and Middlesex University 2010. An analytical approach for performance analysis of handoffs in the next generation integrated cellular networks and WLANs. IEEE. https://doi.org/10.1109/ICCCN.2010.5560093

Conference paper

Information for handover management in heterogeneous networks: data representation,languages and integrated platforms
Vanni, R., Branco, K., Moreira, E., Mapp, G., University of Sao Paulo and Middlesex University 2010. Information for handover management in heterogeneous networks: data representation,languages and integrated platforms. 7th International Conference on Information and Technology Management. Sao Paulo, Brazil 19 - 21 May 2010

Conference paper

Exploring Markov models for gate-limited service and their application to network-based services.
Mapp, G. 2009. Exploring Markov models for gate-limited service and their application to network-based services. Eight Mathematics of Networks Meeting. Cambridge 18 Sep 2009

Conference paper

Exploring a new Markov chain model for multiqueue systems.
Mapp, G., Thakker, D. and Gemikonakli, O. 2010. Exploring a new Markov chain model for multiqueue systems. Al-Dabass, D., Orsoni, A., Cant, R. and Abraham, A. (ed.) IEEE Computer Society. pp. 592-597 https://doi.org/10.1109/UKSIM.2010.113

Conference paper

Exploiting contextual handover information for versatile services in NGN environments.
Moreira, E., Cottingham, D., Crowcroft, J., Hui, P., Mapp, G., Vanni, R. and Institute of Electrical and Electronics Engineers 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

Book chapter

Language driven development and MDA.
Clark, T., Evans, A., Sammut, P. and Willans, J. 2004. Language driven development and MDA. MDA Journal.

Article

Modeling language transformations.
Clark, T., Evans, A., Maskeri, G., Sammut, P. and Willans, J. 2003. Modeling language transformations. L'Objet. 9 (4), pp. 31-51. https://doi.org/10.3166/objet.9.4.31-51

Article

Formal basis for the refinement of rule based transition systems.
Clark, T. 1996. Formal basis for the refinement of rule based transition systems. Journal of Functional Programming. 6 (2), pp. 329-354. https://doi.org/10.1017/S0956796800001702

Article

Multi-group linear turbo equalization with intercell interference cancellation for MC-CDMA cellular systems.
Nguyen, H., Choi, J., Kim, S. and Nam, J. 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. https://doi.org/10.1002/wcm.825

Article

A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach.
Clark, T., Evans, A., Kent, S., Brodsky, S. and Cook, S. 2000. A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach. pUML Group and IBM.

Technical report

A translational semantics for UML.
Clark, T. and D'Souza, D. 2001. A translational semantics for UML. Kings College.

Technical report

A programmers guide to MMT.
Clark, T., Evans, A. and Kent, S. 2002. A programmers guide to MMT. Kings College.

Technical report

Defining OCL expressions using templates.
Willans, J., Sammut, P., Maskeri, G., Evans, A. and Clark, T. 2002. Defining OCL expressions using templates. Kings College.

Technical report

Unambiguous UML (2U) submission to UML 2 infrastructure RFP.
Clark, T., Evans, A. and Kent, S. 2002. Unambiguous UML (2U) submission to UML 2 infrastructure RFP. Object Management Group, Inc. (OMG).

Technical report

Meta-packages: painless domain specific languages.
Clark, T. 2008. Meta-packages: painless domain specific languages. Ceteva.

Technical report

Processing XML for domain specific languages.
Clark, T. 2008. Processing XML for domain specific languages. Sheffield Ceteva.

Technical report

The generation of animated sequences from state transition systems.
Clark, T. and Palmer, I. 1995. The generation of animated sequences from state transition systems. Fifth Eurographics workshop on 'Programming Paradigms in Graphics'. Maastricht, The Netherlands 02 - 03 Sep 1995

Conference paper

Foundations of the Unified Modeling Language.
Clark, T. and Evans, A. 1997. Foundations of the Unified Modeling Language. Duke, D. and Evans, A. (ed.) Springer.

Conference paper

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

Conference paper

Using profiles to re-architect the UML.
Clark, T., Evans, A. and Kent, S. 2000. Using profiles to re-architect the UML. 14th European Conference on Object-Oriented Programming (ECOOP). Sophia Antipolis and Cannes, France 12 - 16 Jun 2000

Conference paper

Analysis of cyclic delay diversity on DVB-H systems over spatially correlated channel
Zhang, Y., Cosmas, J., Loo, J., Bard, M. and Di Bari, R. 2007. Analysis of cyclic delay diversity on DVB-H systems over spatially correlated channel. IEEE Transactions on Broadcasting. 53 (1), pp. 247-254. https://doi.org/10.1109/TBC.2007.891702

Article

The MMF approach to engineering object-oriented design languages.
Clark, T., Evans, A., Kent, S. and Sammut, P. 2001. The MMF approach to engineering object-oriented design languages. First Workshop on Language Descriptions, Tools and Applications (LDTA 2001). Genoa Apr 2001

Conference paper

Engineering modelling languages: a precise meta-modelling approach.
Clark, T., Evans, A. and Kent, S. 2002. Engineering modelling languages: a precise meta-modelling approach. in: Kutsche, R. and Weber, H. (ed.) Fundamental approaches to software engineering. Springer.

Book chapter

An action semantics for MML.
Alvarez, J., Clark, T., Evans, A. and Sammut, P. 2001. An action semantics for MML. Fourth International Conference on the Unified Modeling Language (UML 2001) on "Modeling Languages, Concepts and Tools". Toronto, Ontario, Canada 01 - 05 Oct 2001

Conference paper

«  Previous
Next  »
  • 0
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month