• 344 Citations
  • 8 h-Index
1994 …2022
If you made any changes in Pure these will be visible here soon.

Research Outputs 1994 2017

Filter
Conference proceeding contribution
Conference proceeding contribution

Analysis, specification and generation of mobile computer data synchronisation

Ye, Q., Sloane, A. M. & Verity, D. R., 2005, International Conference on Mobile Business: ICMB 2005: July 11-13, 2005, Crowne Plaza Darling Harbour, Sydney, Australia. Brookes, W., Lawrence, E., Steele, R. & Chang, E. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 499-506 8 p. 1493653

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Open Access
File
Synchronization
Coding errors
Specifications

A Pattern Enforcing Compiler (PEC) for Java: Using the compiler

Lovatt, H. C., Sloane, A. M. & Verity, D. R., 2005, Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling. Hartmann, S. & Stumptner, M. (eds.). Sydney, NSW: Australian Computer Society, Vol. 43. p. 69-78 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Testing
Java programming language
Codes (standards)

Are younger people more difficult to identify or just a peer-to-peer effect

Ho, W. H., Watters, P. & Verity, D., 2007, Computer Analysis of Images and Patterns - 12th International Conference, CAIP 2007, Proceedings. Kropsatsch, W. G., Kampel, M. & Hanbury, A. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 4673 LNCS. p. 351-359 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4673 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Peer to Peer
Age Groups
Experiments
Person
Face

Oriented combinatorial topology and concurrency

Johnson, M. & Verity, D., 2003, Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory. Cousot, P., Fajstrup, L., Goubault, E., Herlihy, M., Kurtz, A., Raussen, M. & Sassone, V. (eds.). Denmark: BRICS: Basic Research in Computer Science, Vol. NS-03-01. p. 51-54 4 p. (BRICS Notes Series; vol. 03, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Topology
Software engineering

Robustness of the new owner-tester approach for face identification experiments

Ho, W. H., Watters, P. & Verity, D., 2007, 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR'07. Flynn, P. (ed.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 1-6 6 p. 4270395

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Open Access
File
Pattern recognition systems
Biometrics
Experiments
Testing