Date


School

Themes

Output Type

Download Available

78 results

A model checking based approach to automatic test suite generation for testing web services and BPEL.

Conference Proceeding
Zhao, H., Sun, J., & Liu, X. (2012)
A model checking based approach to automatic test suite generation for testing web services and BPEL. In Proceedings of IEEE Asia-Pacific Services Computing Conference, 61-69. https://doi.org/10.1109/APSCC.2012.29
With the rapid increase of Web Service applications, the reliability of web service and service composition has drawn particular attention from researchers and industries. Man...

Converting an existing taxonomic data resource to employ an ontology and LSIDs.

Conference Proceeding
Kennedy, J., Gales, R., & Kukla, R. (2006)
Converting an existing taxonomic data resource to employ an ontology and LSIDs. In L. Belbin, A. Rissoné, & A. Weitzman (Eds.), Proceedings of TDWG (2006), St Louis, MI
Data sharing is fundamental to biodiversity and taxonomic data applications, however previous attempts at developing mechanisms to facilitate sharing within the community have...

The Design and Evaluation of a Modern C++ Library

Conference Proceeding
Chalmers, K. (2016)
The Design and Evaluation of a Modern C++ Library. In Communicating Process Architectures 2016
Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++ CSP library which...

Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes

Conference Proceeding
Jaroucheh, Z., Liu, X., & Smith, S. (2010)
Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes. In Proceedings of The 8th IEEE International Conference on Web Services (ICWS’10), 219-226. doi:10.1109/icws.2010.16
Context-awareness and adaptability are important and desirable properties of service-based processes designed to provide personalized services. Most of the existing approaches...

A critique of JCSP networking.

Conference Proceeding
Chalmers, K., Kerridge, J., & Romdhani, I. (2008)
A critique of JCSP networking. In P. H. Welch, S. Stepney, F. Polack, F. R. M. Barnes, A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, 271-291. doi:10.3233/978-1-58603-907-3-271
We present a critical investigation of the current implementation of JCSP Networking, examining in detail the structure and behavior of the current architecture. Information i...

Mapping Features to Context Information: Supporting Context Variability for Context-Aware Pervasive Applications

Conference Proceeding
Jaroucheh, Z., Liu, X., & Smith, S. (2010)
Mapping Features to Context Information: Supporting Context Variability for Context-Aware Pervasive Applications. In Proceedings of IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2010), 611-614. doi:10.1109/wi-iat.2010.25
Context-aware computing is widely accepted as a promising paradigm to enable seamless computing. Several middlewares and ontology-based models for describing context informati...

Ontology-Driven Automated Generation of Data Entry Interfaces to Databases

Conference Proceeding
Cannon, A., Kennedy, J. B., Paterson, T., & Watson, M. F. (2004)
Ontology-Driven Automated Generation of Data Entry Interfaces to Databases. In H. Williams, & L. Mackinnon (Eds.), Key Technologies for Data Management; Lecture Notes in Computer Science, 150-164. doi:10.1007/978-3-540-27811-5_15
This paper discusses an ontology based approach for the automatic generation of data entry interfaces to databases. An existing domain ontology is mapped to a system domain mo...

DEEPC: Dynamic Energy Profiling of Components

Conference Proceeding
Liu, X., Chinenyeze, S. J., & Al-Dubai, A. (2016)
DEEPC: Dynamic Energy Profiling of Components. In 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)https://doi.org/10.1109/COMPSAC.2016.90
Many software projects are built using reusable components (i.e. reusable objects - as per component and connectors in software architectures). During component selection in C...

Communicating Connected Components: Extending Plug-and-Play to Support Skeletons

Conference Proceeding
Chalmers, K., Kerridge, J., & Pedersen, J. B. (2017)
Communicating Connected Components: Extending Plug-and-Play to Support Skeletons. In Communicating Process Architectures 2016
For a number of years, the Communicating Process Architecture (CPA) community have developed languages and runtimes supporting message passing concurrency. For these we always...

Application of CoSMoS parallel design patterns to a pedestrian simulation.

Conference Proceeding
Clayton, S., Urquhart, N. B., & Kerridge, J. (2009)
Application of CoSMoS parallel design patterns to a pedestrian simulation. In R. Wyrzykowski, J. Dongarra, K. Karczewski, & J. Wasniewski (Eds.), Parallel Processing and Applied Mathematics, (505-512). https://doi.org/10.1007/978-3-642-14403-5_53
In this paper, we discuss the implementation of a simple pedestrian simulation that uses a multi agent based design pattern developed by the CoSMoS research group. Given the n...