Formal methods for the re-engineering of computing systems.
Liu, X., Yang, H., & Zedan, H. (1997)
Formal methods for the re-engineering of computing systems. In COMPSAC '97-21st International Computer Software and Applications Conference, 409-414. https://doi.org/10.1109/CMPSAC.1997.625024
This paper presents a short review of formal methods and their use in the re-engineering of computing systems. Five classes of formal notations and theories, namely state/mode...
Investigating false positive reduction in HTTP via procedure analysis.
Abimbola, A., Munoz, J., & Buchanan, W. J. (2006)
Investigating false positive reduction in HTTP via procedure analysis. https://doi.org/10.1109/ICNS.2006.65
This paper focuses on high false-positive rate of attacks. First, the merits and demerits of research work in curbing false positive rate of attacks in intrusion detection sys...
Interoperable Services for Federations of Database System
Roantree, M., Kennedy, J., & Barclay, P. J. (2002)
Interoperable Services for Federations of Database System. In A. Caplinskas, & J. Eder (Eds.), Advances in Databases and Information Systems: Fifth East-European Conference ADBIS' 2001
The problems associated with defining interoperable protocols for heterogenous information systems has been the subject of researchers for many years. While numerous solutions...
Achieving smooth component integration with generative aspects and component adaptation.
Feng, Y., Liu, X., & Kerridge, J. (2006)
Achieving smooth component integration with generative aspects and component adaptation. In M. Morisio (Ed.), Re-Use of Off-the-shelf Components: 9th International Conference on Software Reuse, 260-272. https://doi.org/10.1007/11763864_19
Due to the availability of components and the diversity of target applications, mismatches between pre-qualified existing components and the particular reuse context in applic...
Coordinated graph and scatter-plot views for the visual exploration of microarray time-series data
Craig, P., & Kennedy, J. (2003)
Coordinated graph and scatter-plot views for the visual exploration of microarray time-series data. In IEEE Symposium on Information Visualization, 173-180. doi:10.1109/infvis.2003.1249023
Microarrays are a relatively new, high-throughput data acquisition technology for investigating biological phenomena at the micro-level. The product of microarray experiments ...
Using a conceptual data language to describe a database and its interface
Mitchell, K., Kennedy, J., & Barclay, P. J. (1995)
Using a conceptual data language to describe a database and its interface. In C. Goble, & J. Keane (Eds.), Advances in Databases: Proceedings [of the] 13th British National Conference on Database - BNCOD13, 1995 (101-119). https://doi.org/10.1007/BFb0000543
We propose a conceptual approach to defining interfaces to databases which uses the features of a fully object oriented data language to specify interface objects combined wit...
Determinants of Next Generation e-Health Network and Architecture Specifications
Thuemmler, C., Paulin, A., & Lim, A. K. (2016)
Determinants of Next Generation e-Health Network and Architecture Specifications. In 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom), (233-238). https://doi.org/10.1109/HealthCom.2016.7749460
This paper summarizes the determinants for future e-Health network and IT infrastructures in the health care environment. The paper bases on observations conducted as part of ...
An open model-based interface development system: The Teallach approach.
Griffiths, T., McKirdy, J., Paton, N. W., Kennedy, J., Cooper, R., Barclay, P. J., …Dinn, A. (1998)
An open model-based interface development system: The Teallach approach. In P. Markopoulos, & P. Johnson (Eds.), Design, Specification and Verification of Interactive Systems '98. Proceedings of the Eurographics Workshop, 34-50
The goal of the Teallach project is to provide facilities for the systematic development of interfaces to object databases in a manner which is independent of both a specific ...
The Teallach tool: Using models for flexible user interface design.
Barclay, P. J., Griffiths, T., McKirdy, J., Paton, N. W., Cooper, R., & Kennedy, J. (1999)
The Teallach tool: Using models for flexible user interface design. In J. Vanderdonckt, & A. Puerta (Eds.), Computer-Aided Design of User Interfaces II. Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces (139-157). https://doi.org/10.1007/978-94-011-4295-3_12
Model-based user interface development environments aim to provide designers with a more systematic approach to user interface development using a particular design method. Th...
3D information visualisation: Identifying and measuring success
Kennedy, J., Mitchell, K., Barclay, P., & Marshall, B. (1995)
3D information visualisation: Identifying and measuring success. In Proceedings of the 2nd International FADIVA Workshop, 1995
This paper presents some of our views on information visualisation and interfaces to databases with respect to the theme of the workshop.