List of Subject Classifications Records

Browse Results (105 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 1 of 3

Result Pages:    1 2 3  next › last »

 Browse by Socio-Economic Objective (1998) The SEO Classification allows R&D data to be classified according to the researcher's perceived purpose. The purpose categories take account of processes, products, health, education and other social and environmental aspects of particular interest. -> Division 2 - Economic Development -> 700000 - Information and Communication Services -> 700100 Computer Software and Services :

700101 Application packages (80)
700102 Application tools and system utilities (147)
700103 Information processing services (293)
700199 Computer software and services not elsewhere classified (556)

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Su, K., Sattar, A., Governatori, G. and Chen, Q. (2005). A Computationally Grounded Logic of Knowledge, Belief and Certainty. In: S. Kraus, M. P. Singh, S. Koening, M. Wooldridge, F. Dignum and V. Dignum, Proceedings of the 4th International Joint Conference of Autonomous Agents and Multiagent Systems. 4th International Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands, (149-156). 25-29 July, 2005. 336 1272
Yan, Xin, Li, Xue and Song, Daqei (2004). A Correlation Analysis on LSA and HAL Semantic Space Models. In: Y. Fu, J. Han and J. Zhang, Computational and Information Science. First International Symposium, CIS 2004, Shanghai, China, (711-717). 16-18 December, 2004. doi:10.1007/b104566 291   0 0
Clutterbuck, P. J. and Rowlands, T. P. (2005). A cost benefit and risk evaluation of the .NET passport single sign-on protocol. In: D. Remenyi, Proceedings of the 12th European Conference on Information Technology Evaluation. 12th European Conference on Information Technology (ECITE), Turku, Finland, (147-155). 29-30 September, 2005. 135  
Greenberg, S., Fitzpatrick, G., Gutwin, C. and Kaplan, S. M. (1999). Adapting the locales framework for heuristic evaluation of groupware. In: Proceedings of the 1999 Conference of the Computer Human Interaction Special Interest Group of the Ergonomics Society of Australia. OzCHI'99, Wagga Wagga, (30-36). 28-30 November 1999. 48  
Kim, S. and Carrington, D. A. (2001) A formal denotational semantics of UML in object-z. L'Objet: Object Modelling with UML, 7 1: 323-362. 935  
Pothipruk, Pakornpong and Governatori, Guido (2005). A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In: A. H. H. Ngu, M. Kitsuregawa, E. J. Neuhold, J. Y. Chung and Q. Z. Sheng, Proceedings of the 6th International Conference on Web Information Systems Engineering - WISE 2005. 6th International Conference on Web Information Systems Engineering - WISE 2005, New York, NY, USA, (119-132). 20-22 November 2005. doi:10.1007/11581062_10 322 1167 1 Cited 0 times in Scopus0 0
Kim, S. K. and Carrington, D. A. (2005). A formal V&V framework for UML models based on Model transformation techniques. In: B. Baudry, C. Caston and S. Ghosh, 2nd MoDeVa Workshop - Model Design and validation. Model Validation (MoDeVa) Workshop, Montego Bay, Jamaic, (). 3 October 2005. 256  
Cole, R. J. and Becker, P. (2004). Agreement contexts in formal concept analysis. In: P. Eklund, Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004. The Second International Conference on Formal Concept Analysis (ICFCA 2004), Sydney, Australia, (172-179). 23-26 February 2004. 53  
Yuan, B. and Gallagher, M. R. (2005). A hybrid approach to parameter tuning in genetic algorithms. In: B. Mckay, 2005 IEEE Congress on Evolutionary Computation. 2005 IEEE Congress on Evolutionary Computation (IEEE CEC 2005), Edinburgh, Scotland, (1096-1103). 2-5 September 2005. 96 3 1
Kim, S., Carrington, D. A. and Duke, R. W. (2001). A metamodel-based transformation between UML and object-z. In: S. Levialdi, Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments. IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy, (112-119). 5-7 September, 2001. 71   0
Governatori, G., Rotolo, A. and Sadiq, S. W. (2004). A Model of Dynamic Resource Allocation in Workflow Systems. In: Schewe, Klaus-Dieter and Williams, Hugh E., Database Technologies 2004. Fifteenth Australasian Database Conference, Dunedin, NZ, (197-206). 18-22 January, 2004. 376 2866
Yau, Desmond. (2001). Analysis of coupling, guiding and radiation mechanisms on several microwave structures PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 204 2
Gallagher, M. R. (2000). An empirical investigation of the user-parameters and performance of continuous PBIL algorithms. In: B. Widrow et al, Neural Networks for Signal Processing X: NNSP 2000. NNSP 2000, Sydney, (702-710). 11-13 December 2000. 68   1
Smith, G. P. (2002). An integration of real-time object-Z and CSP for specifying concurrent real-time systems. In: M. Butler, L. Petre and K. Sere, Integrated Formal Methods Third International Conference, IFM 2002. IFM 2002, Turku, Finland, (267-285). 15-18 May, 2002. 45  
Smith, G. P. and Hayes, I. J. (2002) An introduction to real-time Object-Z. Formal Aspects of computing, 13 2: 128-141. doi:10.1007/s001650200003 34   Cited 9 times in Scopus9 0
Kim, Soon Kyeong, Burger, Damian and Carrington, David (2005). An MDA approach towards integrating formal and informal modeling languages. In: J. Fitzgerald, I. Hayes and A. Tarlecki, FM2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, United Kingdom, (448-464). 18-22 July 2005. doi:10.1007/11526841_30 122 587 7 Cited 6 times in Scopus6 0
Cederman-Haysom, T. G. and Brereton, M F (2006). A participatory design agenda for ubiquitous computing and multimodal interaction: A case study of dental practice. In: G. Jacuci and F. Kensing, Proceedings of the Ninth Participatory Design Conference 2006: Expanding Boundaries in Design - Volume 1. 9th Participatory Design Conference 2006, Trento, Italy, (11-20). 5-6 August, 2006. doi:10.1145/1147261.1147264 69   0
Kim, Soon-Kyeong and Carrington, D. (2006). A patttern based model evolution approach. In: P. Jalote, 13th Asia Pacific Software Engineering Conference. 13th Asia Pacific Software Engineering Conference, Bangalore, India, (217-224). 6-8 December 2006. doi:10.1109/APSEC.2006.8 37   Cited 1 times in Scopus1 0
Kim, Soon-Kyeong and Carrington, David (2005). A rigorous foundation for pattern based design models. In: H. Treharne, S. King, M. Henson and S. Schneider, ZB2005: Formal specification and development in Z and B. 4th International Conference of B and Z users, Guildford, United Kingdom, (242-261). 13-15 April 2005. doi:10.1007/11415787_15 70   2 Cited 4 times in Scopus4 0
Governatori, Guido and Hoang, Duy Pham (2005). A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. In: Asaf Adi, Suzette Stoutenburg and Said Tabet, Lecture Notes in Computer Science: Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web. 1st International Conference on Rules and Rule Markup Languages for the Semantic Web, Galway, Ireland, (145-158). 10-12 November, 2005. doi:10.1007/11580072_12 255 1434 8 Cited 9 times in Scopus9 0
Kim, Soon-Kyeong and Carrington, David (2006). A tool for a formal pattern modeling language. In: Z. Liu and J. He, Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006). 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, (568-587). 1-3 November 2006. doi:10.1007/11901433_31 71   0 Cited 1 times in Scopus1 0
Fitzpatrick, G., Mansfield, T. J., Kaplan, S. M., Arnold, D., Phelps, T. and Segall, B. (1999). Augmenting the workaday world with Elvin. In: Proceedings of the Sixth European Conference on Computer Supported Co-operative Work. ECSCW'99, Copenhagen, Denmark, (431-451). 12-16 September 1999. 41  
Twidale, Z. (2000). Automated product configuration in a custom mast building environment PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 79  
Li, X. and Chen, P. (2002). Automatic assessment of e-busineses. In: R. Gan, Y. Chen and W. Huang, Proceedings of the International Conference on e-Business. International Conference on e-Business, Beijing, (294-299). 23-26 May, 2003. 42   1
Hardian, Bob, Indulska, Jadwiga and Henricksen, Karen (2006). Balancing autonomy and user control in context-aware systems - a survey. In: B. Werner, Proceedings Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops. Fourth Annual IEEE International CFouonference on Pervasive Computing and Communications, Pisa, Italy, (51-56). 13-17 March 2006. doi:10.1109/PERCOMW.2006.26 68   0 Cited 0 times in Scopus0 0
Browning, B. (2001). Biologically plausible spatial navigation for a mobile robot PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 87  
Cole, R. J., Amardeilh, F. and Eklund, P. (2004). Browsing semi-structured texts on the web using formal concept analysis. In N. Zong and J. Liu (Ed.), Intelligent Technologies for Information Analysis (pp. 243-264) Berlin: Springer-Verlag. 41  
Clutterbuck, P. J. (2005). Cluster scheduling and load balancing via TCP options. In: H. Stockinger, R. Buyya and R. Perrott, Proceedings: First International Conference on e-Science and Grid Computing. First International Conference on e-Science and Grid Computing, Melbourne, Vic, Australia, (230-237). 5-8 December, 2005. doi:10.1109/E-SCIENCE.2005.23 75 1 0 Cited 0 times in Scopus0 0
Schroeter, Ronald. (2004). Collaborative video indexing, annotation and discussion over high-bandwidth networks MPhil Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 138 2
Su, K., Sattar, A., Wang, K. and Governatori, G. (2005). Computationally Grounded Model of BDI-Agents. In: L.P. Kaelbling and A. Saffiotti, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). International Joint Conference on Artificial Inteligence, Edinburgh, Scotland, (1581-1582). 30 July - 5 August, 2005. 220 638
Goldson, D. W. and Dongol, B. M. S. (2005). Concurrent Program Design in the Extended Theory of Owicki and Gries. In: Atkinson, Mike and Dehne, Frank, Theory of Computing. Computing: The Australasian Theory Symposium (CATS2005), Newcastle, Australia, (41-50). 30 January - 3 February 2005. 217 251
Bowen, P. L., Fuhrer, D. A. and Guess, F. M. (1998) Continuously improving data quality in persistent databases. Data Quality, 4 1: 1-13. 49  
Dunlop, N., Indulska, J. and Raymond, K. (1999) CORBA and RM-ODP: Parallel or divergent?. Journal of Distributed Systems Engineering, 6 2: 82-91. doi:10.1088/0967-1846/6/2/303 55   Cited 1 times in Scopus1 0
Xu, Kai (2004). Database support for multi-resolution terrain models PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 85 3
Xu, K. (2003). Database support for multiresolution terrain visualization. In: Klaus-Dieter Schewe and Xiaofang Zhou, Database Technologies 2003: Proceedings of the Fourteenth Australasian Database Conference. The Fourteenth Australasian Database Conference, Adelaide, (153-160). 4-7 February, 2003. 25  
Cockcroft, S. K. S. (2000). Data quality control in electronic medical record. In: Proceedings of the Asia Pacific Association for Medical Informatics Conference 2000. APAMI-MIC 2000, Hong Kong, (). 28-29 September, 2000. 58  
Baldwin, A. A., Bowen, P. L. and Tee, S. (1999). Data quality of a business information system: A case study. In: Collected Abstracts of the American Accounting Association 1999 Annual Meeting. American Accounting Association 1999 Annual Meeting, San Diego, California, (180). 15-18 Aug, 1999. 36  
Goldson, D. W. (2003). Derivation of distributed programs in the theory of Owicki and Gries: An example. In: J. Morris, B. Aziz and F Oehl, The Sixth International Workshop in Formal Methods. The Sixth International Workshop in Formal Methods, Dublin, Ireland, (1-13). 11 July, 2003. 26  
Symonds, J. (2000). Designing for Web Site Usability. In: Proceedings of the 11th Australasian Conference on Information Systems. Australasian Conference on Information Systems, Queensland University of Technology, (). 6 - 8 December 2000. 23  
Nuske, S. and Yguel, M. (2007). Detecting moving pedestrians and vehicles in fluctuating lighting conditions. In: Matthew Dunbabin and Mandyam Srinivasan, Proceedings of the 2007 Australiasian Conference on Robotics and Automation. Australiasian Conference on Robotics and Automation 2007, Brisbane, Australia, (). 10-12 December 2007. 60   Cited 0 times in Scopus0
Yan, X, Li, X and Song, (2006). Document generality: its computation for ranking. In: G. Dobbie and J. Bailey, Proceedings of the Seventeenth Australiasian Database Conference (ADC2006). Seventeenth Australiasian Database Conference (ADC2006), Hobart, Australia, (109-118). 16-19 January, 2006. 52  
Yan, X., Li, X. and Song, D. (2005). Document re-ranking by generality in bio-medical information retrieval. In: A. Ngu, M. Kitsuregawa, E. Neuhold, J. Y. Chung and Q. Z. Sheng, Web Information systems Engineering - WISE 2005. 6th International Conference on Web Information Systems Engineering, New York, USA, (376-389). 20-22 November, 2005. doi:10.1007/11581062_28 81 1 0 Cited 1 times in Scopus1 0
Skylogiannis, T., Antoniou, G., Bassiliades, N. and Governatori, Guido (2005). DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. In: W. K. Cheung and J. Hsu, Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Services EEE2005. The 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service. EEE'05, Hong Kong, (44-49). 29 March - 1 April, 2005. doi:10.1109/EEE.2005.61 285 1248 0 Cited 19 times in Scopus19 0
Peake, Ian David. (2002). Enabling meta-level support for language design and implementation through modular parsers PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 103 3
Smith, G. P., Kammuller, F. and Santen, T. (2002). Encoding Object-Z in Isabelle/HOL. In: D. Bert, J. P. Bowen, M. C. Henson and K. Robinson, 2nd International Conference of B and Z Users. ZB 2002: Formal Specification and Development in Z and B, Grenoble, France, (82-99). 23-25 January, 2002. 51 43
Smith, G. P., Kammuller, F and Santen, T (2001) Encoding Object-Z in Isabelle-HOL Brisbane: Software Verification Research Cen. Univ of Qld 39  
Deng, Ke and Zhou, Xiaofang (2004). Expansion-based algorithms for finding single pair shortest path on surface. In: Yong-Jin Kwon, Alain Bouju and Christophe Claramunt, Web and Wireless Geographical Information Systems: Proceedings of the Fourth International Workshop, W2GIS 2004. The Fourth International Workshop on Web and Wireless Geographical Information Systems (W2GIS 2004), Seoul, Korea, (151-156). 25-27 November 2004. doi:10.1007/b136505 121   0 0
Bailes, P.A.C., Harrison, J.V., Lim, W.M. and Peake, I. (2002). Experience with a generic transition architecture. In: M.H. Hamza, Proceedings of the Sixth IASTED International Conference. Software Engineering and Applications, Cambridge, USA, (509-514). 4-6 November, 2002. 89  
Yuan, B. and Gallagher, M. R. (2005). Experimental results for the special session on real-parameter optimization at CEC 2005: A Simple, Continuous EDA. In: B. Mckay, 2005 IEEE Congress on Evolutionary Computation. 2005 IEEE Congress on Evolutionary Computation (IEEE CEC 2005), Edinburgh, Scotland, (1792-1799). 2-5 September, 2005. 65  
Clutterbuck, P. J., Mohay, G. and Seamons, O. E. (2006) Exploring transport layer solutions for parallelism and load balancing within internet service clusters. International Transactions on Systems Science and Applications (ITSSA), 2 3: 273-280. 47  

Page 1 of 3

Result Pages:    1 2 3  next › last »