SensoLab group
| Title | SensoLab group |
|---|
Latest research outputs
Sort by Date Title
Formalizing homogeneous language embeddings.
Clark, T. and Tratt, L. 2010. Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science. 253 (7), pp. 75-88. https://doi.org/10.1016/j.entcs.2010.08.033Article
Advanced modelling made simple with the Gmodel metalanguage.
Bettin, J. and Clark, T. 2010. Advanced modelling made simple with the Gmodel metalanguage. ACM. https://doi.org/10.1145/1866272.1866283Conference paper
MobDSL: a domain specific language for multiple mobile platform deployment
Kramer, D., Clark, T. and Ousena, S. 2010. MobDSL: a domain specific language for multiple mobile platform deployment. IEEE. https://doi.org/10.1109/NESEA.2010.5678062Conference paper
Multiparadigm programming: guest editors' introduction. IEEE Software, 27 (5) . pp. 2-7. ISSN 0740-7459
Wampler, D. and Clark, T. 2010. Multiparadigm programming: guest editors' introduction. IEEE Software, 27 (5) . pp. 2-7. ISSN 0740-7459. IEEE.Edited Journal
Multiparadigm programming in industry: a discussion with Neal Ford and Brian Goetz.
Wampler, D., Clark, T., Ford, N. and Goetz, B. 2010. Multiparadigm programming in industry: a discussion with Neal Ford and Brian Goetz. IEEE Software. 27 (5), pp. 61-64. https://doi.org/10.1109/MS.2010.121Article
Implementation of non-pipelined and pipelined data encryption standard (DES) using Xilinx Virtex-6 FPGA technology.
Ever, E., Taherkhani, S. and Gemikonakli, O. 2010. Implementation of non-pipelined and pipelined data encryption standard (DES) using Xilinx Virtex-6 FPGA technology. IEEE. pp. 1257-1262 https://doi.org/10.1109/CIT.2010.227Conference paper
Performance modelling of virtualized servers.
Gemikonakli, O., Ever, E. and Gemikonakli, E. 2010. Performance modelling of virtualized servers. IEEE. pp. 434-440 https://doi.org/10.1109/UKSIM.2010.86Conference paper
Performability modelling of a Kerberos server with frequent key renewal under pseudo-secure conditions for increased security
Ever, E., Kirsal, Y. and Gemikonakli, O. 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.Book chapter
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.
Ever, E., Kirsal, Y. and Gemikonakli, O. 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. Kunovsky, J., Hanacek, P., Zboril, F., Al-Dabass, D. and Abraham, A. (ed.) IEEE. pp. 282-287 https://doi.org/10.1109/CSSim.2009.44Conference paper
A hardware accelerated semi analytic approach for fault trees with repairable ccmponents.
Kara-Zaitri, C. and Ever, E. 2009. A hardware accelerated semi analytic approach for fault trees with repairable ccmponents. IEEE. pp. 146-151 https://doi.org/10.1109/UKSIM.2009.83Conference paper
Evolutionary FCMAC-BYY applied to stream data analysis
Shi, D., Loomes, M. and Nguyen, M. 2010. Evolutionary FCMAC-BYY applied to stream data analysis. Lecture Notes in Computer Science. 6457, pp. 187-194. https://doi.org/10.1007/978-3-642-17298-4_19Article
Y-Comm research [web page]
Mapp, G., Middlesex University, University of Cambridge, University of Sao Paulo and Loughborough University 2008. Y-Comm research [web page]. Middlesex University.Other
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. in: Mouratidis, H. and Rolland, C. (ed.) Advanced information systems engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings Springer.Book chapter
The design of rewritable ultrahigh density scanning-probe phase-change memories
Wright, C., Wang, L., Shah, P., Aziz, M., Varesi, E., Bez, R., Moroni, M. and Cazzaniga, F. 2011. The design of rewritable ultrahigh density scanning-probe phase-change memories. IEEE Transactions on Nanotechnology. 10 (4), pp. 900-912. https://doi.org/10.1109/TNANO.2010.2089638Article
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. pp. 59-64 https://doi.org/10.5220/0003610700590064Conference 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.09MD04Article
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/s110100964Article
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.130Article
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 ACM. https://doi.org/10.1145/1953355.1953366Conference 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.3506584Article
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.002Article
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. pp. 169-183Book 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 School of Engineering SystemsPhD 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.24Conference 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.113Conference 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, TexasConference 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.5560093Conference 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 2010Conference 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 2009Conference 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.113Conference 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-512Book 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-51Article
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/S0956796800001702Article
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.825Article
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
0
total views0
total downloads0
views this month0
downloads this month