Defining and verifying behaviour of domain specific language with fUML Q Lai, A Carpenter Proceedings of the Fourth Workshop on Behaviour Modelling-Foundations and …, 2012 | 12 | 2012 |
On modelled flexibility and service selection optimisation R Ukor, A Carpenter 9th Workshop on Business Process Modeling, Development and Support 335, 2008 | 12 | 2008 |
Flexible service selection optimization using meta-metrics R Ukor, A Carpenter 2009 Congress on Services-I, 593-598, 2009 | 9 | 2009 |
The use of VHDL+ in the Specification Level Modelling of an Embedded System A Carpenter, N Messer International Forum on Design Languages, Switzerland, 1998 | 7 | 1998 |
Goal-oriented service selection in business processes R Ukor, A Carpenter 2009 Fourth International Conference on Software Engineering Advances, 484-489, 2009 | 6 | 2009 |
Static analysis and testing of executable DSL specification Q Lai, A Carpenter International Conference on Model-Driven Engineering and Software …, 2013 | 4 | 2013 |
Service selection and horizontal multi‐sourcing in process‐oriented capability outsourcing R Ukor, A Carpenter Journal of software: Evolution and Process 24 (3), 259-283, 2012 | 4 | 2012 |
A proposed hardware fault simulation engine D Cock, A Carpenter Proceedings of the European Conference on Design Automation., 570-574, 1991 | 4 | 1991 |
A novel scheme for supporting location authentication of mobile nodes O Elshakankiry, A Carpenter, N Zhang Security and Privacy in Mobile Information and Communication Systems: Second …, 2010 | 3 | 2010 |
Tadl-v2: An improved trust-aware dynamic location-based adaptation protocol for discovering multiple paths in manets H Bakhsh, N Zhang, A Carpenter EAI Endorsed Transactions on Ambient Systems 2 (6), 219-228, 2015 | 2 | 2015 |
Tadl: A trust-aware dynamic location-based protocol suite for discovering multiple paths in manets H Bakhsh, N Zhang, A Carpenter Proceedings of the 16th International Conference on Distributed Computing …, 2015 | 2 | 2015 |
A new secure binding management protocol for mobile IPv6 networks O Elshakankiry, A Carpenter, N Zhang 2008 The Fourth International Conference on Information Assurance and …, 2008 | 2 | 2008 |
Minimising lifecycle transitions in service-oriented business processes R Ukor, A Carpenter International Workshop on Business Process Modeling, Development and Support …, 2009 | 1 | 2009 |
Using automated banking certificates to detect unauthorised financial transactions C Corzo, F Corzo S, N Zhang, A Carpenter Financial Cryptography and Data Security: 10th International Conference, FC …, 2006 | 1 | 2006 |
DESIGN AND IMPLEMENTATION OF A WEB SERVICE APPLICATION FOR PAYROLL MV Kerswell, A Carpenter | | 2011 |
Implementation of a Configurable Protocol Analyser using an MDSD Approach A Carpenter ICT-MobileSummit 2008, 2008 | | 2008 |
Model Driven Protocol Implementation Tools A Carpenter, N Filer ICT-MobileSummit 2008, 2008 | | 2008 |
Checking Consistency In Information Models By Using Constraint Programming J Fang, J Kahn, A Carpenter Transactions of Nanjing University of Aeronautics & Astronautics 22 (1), 30-37, 2005 | | 2005 |
Model Driven Business Process Enactment A Carpenter, AR Williams, D Withers, H Kahn | | 2003 |
Generation of Business Process Simulation X Jin, A Carpenter, H Kahn | | 2003 |