Research Group on Development of Intelligent Environments

TitleResearch Group on Development of Intelligent Environments
CampusLondon

Latest research outputs

Sort by Date Title
DALICA: Agent-based ambient intelligence for cultural-heritage scenarios
Costantini, S., Mostarda, L., Tocchio, A. and Tsintza, P. 2008. DALICA: Agent-based ambient intelligence for cultural-heritage scenarios. IEEE Intelligent Systems. 23 (2), pp. 34-41. https://doi.org/10.1109/MIS.2008.24

Article

ESCAPE: a component-based policy framework for sense and react applications.
Russello, G., Mostarda, L. and Dulay, N. 2008. ESCAPE: a component-based policy framework for sense and react applications. Springer. https://doi.org/10.1007/978-3-540-87891-9_14

Conference paper

Policies for self tuning home networks.
Pediaditakis, D., Mostarda, L., Dong, C. and Dulay, N. 2009. Policies for self tuning home networks. POLICY 2009, IEEE International Symposium on Policies for Distributed Systems and Networks.. London 20 - 22 Jul 2009 pp. 29-32

Conference paper

Context-based authentication and transport of cultural assets.
Mostarda, L., Dong, C. and Dulay, N. 2010. Context-based authentication and transport of cultural assets. Personal and Ubiquitous Computing. 14 (4), pp. 321-334. https://doi.org/10.1007/s00779-009-0233-8

Article

An architectural framework for analyzing tradeoffs between software security and performance.
Cortellessa, V., Trubiani, C., Mostarda, L. and Dulay, N. 2010. An architectural framework for analyzing tradeoffs between software security and performance. ISARCS 2010: 1st International Symposium on Architecting Critical Systems Federated with CompArch 2010. Prague 23 - 25 Jun 2010 pp. 1-18

Conference paper

Distributed fault tolerant controllers
Mostarda, L., Ball, R. and Dulay, N. 2010. Distributed fault tolerant controllers. Springer. https://doi.org/10.1007/978-3-642-13645-0_11

Conference paper

Distributed orchestration of pervasive services.
Mostarda, L., Marinovic, S. and Dulay, N. 2010. Distributed orchestration of pervasive services. and Applications. IEEE. pp. 166-173 https://doi.org/10.1109/AINA.2010.100

Conference paper

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.033

Article

Advanced modelling made simple with the Gmodel metalanguage.
Bettin, J. and Clark, T. 2010. Advanced modelling made simple with the Gmodel metalanguage. Association for Computing Machinery (ACM). https://doi.org/10.1145/1866272.1866283

Conference 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.5678062

Conference 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.121

Article

Sense-making in visual analytics: processes and challenges
Attfield, S., Hara, S. and Wong, B. 2010. Sense-making in visual analytics: processes and challenges. EuroVAST 2010: The 1st European Symposium on Visual Analytics Science and Technology.. Bordeaux, France 08 Jun 2010

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. 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

Living without a safety net in an Intelligent Environment
Augusto, J., McCullagh, P. and Augusto-Walkden, J. 2011. Living without a safety net in an Intelligent Environment. ICST Transactions on Ambient Systems. 11 (10-12). https://doi.org/10.4108/trans.amsys.2011.e6

Article

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

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

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

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

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

A pattern based approach to defining translations between languages.
Maskeri, G., Willans, J., Clark, T., Evans, A., Kent, S. and Sammut, P. 2002. A pattern based approach to defining translations between languages. Fourth Workshop on Rigorous Object-Oriented Methods, ROOM 4. King's College, London Mar 2002

Conference paper

Patterns for renaming and stamping out object-oriented models.
Clark, T., Evans, A. and Kent, S. 2002. Patterns for renaming and stamping out object-oriented models. International Conference on Software Engineering Research and Practice, SERP 2002. Las Vagas, Nevada, USA 2002

Conference paper

Using icon-derived technologies to drive model transformations.
Tratt, L. and Clark, T. 2003. Using icon-derived technologies to drive model transformations. Workshop in Software Model Engineering (WiSME) 2003. San Francisco Oct 2003

Conference paper

An eXecutable metamodelling facility for domain specific language design.
Clark, T., Evans, A., Sammut, P. and Willans, J. 2004. An eXecutable metamodelling facility for domain specific language design. The 4th OOPSLA Workshop on domain-specific modeling. Vancouver 24 - 28 Oct 2004

Conference paper

Aspect-oriented metamodelling.
Clark, T., Evans, A. and Kent, S. 2003. Aspect-oriented metamodelling. Oxford University Press (OUP).

Conference paper

MDA-driven development of standard-compliant OSS components: the OSS/J inventory case-study.
Georgalas, N., Azmoodeh, M., Clark, T., Evans, A., Sammut, P. and Willans, J. 2004. MDA-driven development of standard-compliant OSS components: the OSS/J inventory case-study. Second European Workshop on Model Driven Architecture (MDA) with an emphasis on methodologies and transformations. Canterbury, England 07 - 08 Sep 2004

Conference paper

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