School of Information Technology and Electrical Engineering Publications

Browse Results (7850 results found)

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

Page 8 of 157

Result Pages:    « first ‹ previous  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Kim, S. and Carrington, D. A. (2004). A formal object-oriented approach to defining consistency constraints for UML models. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (87-94). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290461 138   1 0
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 333 1208 1 Cited 1 times in Scopus1 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. 264  
Miller, T. and Strooper, P. (2003) A framework and tool support for the systematic testing of model-based specifications. Acm Transactions On Software Engineering And Methodology, 12 4: 409-439. doi:10.1145/990010.990012 60   9 Cited 14 times in Scopus14 0
Süß, Jörn Guy, Carrington, David, Robinson, Neil and Strooper, Paul (2012). Μίνθα: a framework for auto-programming and testing of railway controllers for varying clients. In Francesco Flammini (Ed.), Railway safety, reliability, and security: technologies and systems engineering (pp. 175-197) Hershey, PA, United States: IGI Global. doi:10.4018/978-1-4666-1643-1.ch008 118 12 0 0
Derrick, John and Smith, Graeme (2015). A framework for correctness criteria on weak memory models. In: Nikolaj Bjørner and Frank de Boer, FM 2015: Formal Methods. 20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, (178-194). 25-26 June 2015. doi:10.1007/978-3-319-19249-9_12 23   0 0 1
Yeganeh, Naiem K. and Sharaf, Mohamed A. (2011). A framework for data quality aware query systems. In: 16th International Conference, DASFAA 2011, International Workshops. DASFAA Workshops, Hong Kong, People's Republic of China, (478-489). 22-25 April 2011. doi:10.1007/978-3-642-20244-5_46 66 2 0
Yeganeh, Naiem K., Sadiq, Shazia and Sharaf, Mohamed A. (2014) A framework for data quality aware query systems. Information Systems, 46 24-44. doi:10.1016/j.is.2014.05.005 98   2 Cited 3 times in Scopus3 0
Zhao, J. H., Dong, Z. Y., Li, Xue and Wong, K. P. (2007) A framework for electricity price spike analysis with advanced data mining methods. IEEE Transactions on Power Systems, 22 1: 376-385. doi:10.1109/TPWRS.2006.889139 249   48 Cited 74 times in Scopus74 0
Abdullah, Norris Syed, Sadiq, Shazia and Indulska, Marta (2011). A framework for industry-relevant ontology development. In: Proceedings of the Australasian Conference on Information Systems ACIS 2011 - "Identifying the Information Systems Discipline". 22nd Australasian Conference on Information Systems (ACIS), Sydney, Australia, (). 29 November - 2 December 2011. 186 6 0
Abeyratne, U. (2008). A Framework for Information Processing in the Diagnosis of Sleep Apnea. In Wickramasinghe, N and Geisler, E. (Ed.), Encyclopedia of Healthcare Information Systems Vol II 1 ed. (pp. 610-617) Hershey, New York: IGI Global. 125  
Dadgostar, Farhad, Bigdeli, Abbas, Mau, Sandra, Smith, Terence and Lovell, Brian (2010). A framework for lab-based real-time video analysis on distributed camera networks. In: ICDSC - 4th ACM/IEEE International Conference on Distributed Smart Cameras. 4th ACM/IEEE International Conference on Distributed Smart Cameras, ICDSC 2010, Atlanta, GA United States, (238-242). 31 August - 4 September 2010. doi:10.1145/1865987.1866028 48   Cited 1 times in Scopus1 0
Li, Jianguo, Fung, Gabriel Pui Cheong, Zhou, Wei and Huang, Weiping (2015) A framework for ranking and KNN queries in a probabilistic skyline model. Journal of Computational Information Systems, 11 6: 2057-2084. doi:10.12733/jcis13726 26 5 0 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. In: Ivica Crnkovic, Judith Stafford, Heinz Schmidt and Kurt Wallnau, Proceedings of the 7th International Symposium on Component-Based Software Engineering. 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, U.K., (272-279). 24-25 May 2004. doi:10.1007/b97813 325 1729 2 0 0
Stocks, P and Carrington, D (1996) A framework for specification-based testing. Ieee Transactions On Software Engineering, 22 11: 777-793. doi:10.1109/32.553698 133   90 Cited 145 times in Scopus145 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2007) A framework for statistical testing of software components. International Journal of Software Engineering And Knowledge Engineering, 17 3: 379-405. doi:10.1142/S021819400700329X 163   0 0 0
Lindsay, P. A., Macdonald, A. J., Staples, M. and Strooper, P. A. (2001) A framework for subsystem-based configuration management. SVRC Tech Report 01-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 50  
Kromodimoeljo, Sentot (2013) A framework for symbolic LTL model checking. ITEE Technical Report 2013-04, School of Information Technol and Elec Engineering. 37 40
Miller, Tim and Strooper, Paul (2002) A Framework for Systematic Specification Animation. Technical Report 02-35, Software Verification Research Centre, School of Information Technology, The University of Queensland. 324 603
Daley, N., Hoffman, D. and Strooper, P. (2002) A framework for table driven testing of Java classes. Software: Practice & Experience, 32 5: 465-493. doi:10.1002/spe.452 139   9 Cited 10 times in Scopus10 0
Lu, M., Dong, Z. Y. and Saha, T. K. (2005). A Framework for Transmission Planning in a Competitive Electricity Market. In: IEEE Power Engineering Society, Proceedings of the 2005 IEEE/PES Transmission and Distribution Conference & Exhibition: Asia and Pacific. 2005 IEEE/PES Transmission and Distribution Conference & Exhibition: Asia Pacific, Dalian, China, (). 14-18 August, 2005. 598 1956
Sadegh, Payman, Concha, Julio, Stricevic, Slaven, Thompson, Adrian and Kootsookos, Peter (2006). A Framework for Unified Design of Fault Detection and Isolation and Optimal Maintenance Policies. In: American Control Conference, Minneapolis, Minnesota, USA, (). 14-16 June, 2006. 278 609
Limbu, T. R. and Saha, T K (2006). A framework of generation investment analysis in a deregulated electricity market using financial price model. In: Conference Proceedings of the 2006 Australasian Universities Power Engineering Conference. Australasian Universities Power Engineering Conference 2006, Melbourne, Australia, (). 10-13 December, 2006. 132  
Gollapalli, Mohammed and Li, Xue (2013). A framework of Ontology Guided Data Linkage for evidence based knowledge extraction and information sharing. In: 2013 IEEE 29th International Conference on Data Engineering Workshops, ICDEW 2013. 2013 IEEE 29th International Conference on Data Engineering Workshops, ICDEW 2013, Brisbane, QLD, Australia, (294-297). 8-11 April 2013. doi:10.1109/ICDEW.2013.6547467 36 2 0 0 0
Hunter, Jane and Little, Suzanne (2005) A Framework to Enable the Semantic Inferencing and Querying of Multimedia Content. International Journal of Web Engineering and Technology, 2 2/3: 264-286. doi:10.1504/IJWET.2005.008487 299 125 0 0
Fong, Johnson, Indulska, Jadwiga and Robinson, Ricky (2013). A framework to support intelligibility in pervasive applications. In: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), San Diego, United States, (37-42). 18-22 March 2013. doi:10.1109/PerComW.2013.6529453 65   0 0 0
Tyapin, I., Hovland, G. and Brogardh, T. (2007). A fully geometric approach for the workspace area of the gantry-tau parallell kinematic manipulator. In: Hovland, G., The 13th IASTED International Conference. International Conference Robotics and Applications, Wurzburg, Germany, (437-444). 29-31 August, 2007. 55  
Song, H. and Bialkowski, M. E. (1999). A fully planar power combiner using microstrip patch arrays. In: IEEE Antennas and Propagation Society International Symposium. APS'99, Orlando, Florida, (2398-2401). 11-16 July 1999. 72  
Han, Liqi, Gresshoff, Peter M. and Hanan, Jim (2011) A functional-structural modelling approach to autoregulation of nodulation. Annals of Botany, 107 5: 855-863. doi:10.1093/aob/mcq182 112   6 Cited 8 times in Scopus8 0
Nguyen Nhu, S and Orlowska, M E (2006). A further study in the data partitioning approach for frequent itemsets mining. In: G. Dobbie and J. Bailey, Proceedings of 17th Australasian Database Conference (ADC2006). 17th Australasian Database Conference (ADC2006), Tasmania, Australia, (31-37). 16-19 January, 2006. 69   0
Chen, Xia and Orlowska, Maria (2005). A further study on inverse frequent set mining. In: Xue Li, Shuliang Wang and Zhao Yang Dong, Proceedings of the First International Conference on Advanced Data Mining and Applications (ADMA2005). First International Conference on Advanced Data Mining and Applications (ADMA 2005), Wuhan, China, (753-760). 22-24 July 2005. doi:10.1007/11527503_89 79   3 0 0
Hanmandlu, Madasu, Madasu, Vamsi Krishna and Vasikarla, Shantaram (2004). A fuzzy approach to texture segmentation. In: P. Srimani, Proceedings of the International Conference on Information Technology: Coding and Computing (ITTC 2004). The International Conference on Information Technology: Coding and Computing (ITTC 2004), Las Vegas, U.S.A., (636-642). 5-7 April 2004. doi:10.1109/ITCC.2004.1286537 67   0 Cited 19 times in Scopus19 0
Yue, Lin, Zuo, Wanli, Peng, Tao, Wang, Ying and Han, Xuming (2015) A fuzzy document clustering approach based on domain-specified ontology. Data and Knowledge Engineering, 100 Part A: 148-166. doi:10.1016/j.datak.2015.04.008     0 Cited 1 times in Scopus1 0
Thapar, Alok, Saha, Tapan K. and Dong, Zhao Yang (2003). A fuzzy logic based recognition technique for power quality categorization. In: R. Duke, Proceedings of the Australasian Universities Power Engineering Conference. Australasian Universities Power Engineering Conference, Christchurch, New Zealand, (-6). 28 September-1 October, 2003. 701 1052
Wang, Hua, Yu, Yeyang, Li, Joe, Trakic, Adnan, Hong, Mingjian, Liu, Feng and Crozier, Stuart (2012). A GA guided K-Space sampling for compressed sensing MRI. In: Proceedings of the International Society for Magnetic Resonance in Medicine, Melbourne, Australia, (). 5 - 11 May 2012. 99  
Lelekakis, Nick, Martin, Daniel and Wijaya, Jaury (2012) Ageing rate of paper insulation used in power transformers Part 1: Oil/paper system with low oxygen concentration. IEEE Transactions on Dielectrics and Electrical Insulation, 19 6: 1999-2008. doi:10.1109/TDEI.2012.6396958 50   12 Cited 18 times in Scopus18 0
Lelekakis, Nick, Martin, Daniel and Wijaya, Jaury (2012) Ageing rate of paper insulation used in power transformers part 2: oil/paper system with medium and high oxygen concentration. IEEE Transactions on Dielectrics and Electrical Insulation, 19 6: 2009-2018. doi:10.1109/TDEI.2012.6396960 42   10 Cited 17 times in Scopus17 0
Geard, Nicholas and Wiles, Janet (2005) A Gene Network Model for Developing Cell Lineages. Artificial Life, 11 3: 249-267. doi:10.1162/1064546054407202 466 971 17 Cited 23 times in Scopus23 3
Zelniker, Emanuel E. and Clarkson, I. Vaughan L. (2004). A generalisation of the Delogne-Kasa method for fitting hyperspheres. In: K. Teague and S. Acton, Proceedings of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computing. The Thirty-Eighth Asilomar Conference on Signals, Systems and Computing, Pacific Grove, California, (2069-2073). 7-10 November, 2004. doi:10.1109/ACSSC.2004.1399530 100 160 Cited 1 times in Scopus1 0
Zhao, J., Dong, Z. Y., Li, X. and Wong, K.P (2005). A general method for electricity market price spike analysis. In: R. Jauregui and IEEE PES, Proceedings of IEEE Power Engineering Society General Meeting 2005. IEEE Power Engineering Society General Meeting, San Francisco, USA, (563-570). 12-16 July 2005. 130  
Makarov, Yu V., Dong, Zhao Yang and Hill, David J. (1998) A general method for small signal stability analysis. IEEE Transactions on Power Systems, 13 3: 979-985. doi:10.1109/59.709086 699 3467 32 Cited 43 times in Scopus43 0
Beere, Nicholas, McPhail, Donald and Sharma, Rahul (2015). A general methodology for utility microgrid planning: a Cairns case study. In: Proceedings of the 2015 IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC). IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC), Brisbane, Australia, (). 15-18 November 2015. doi:10.1109/APPEEC.2015.7380871     0 0
Gallagher, Marcus and Yuan, Bo (2006) A general-purpose tunable landscape generator. IEEE Transactions On Evolutionary Computation, 10 5: 590-603. doi:10.1109/TEVC.2005.863628 118 4 23 Cited 32 times in Scopus32 0
Colvin, Robert and Dongol, Brijesh (2009) A general technique for proving lock-freedom. Science of Computer Programming, 74 3: 143-165. doi:10.1016/j.scico.2008.09.013 99   4 Cited 5 times in Scopus5 0
Lohaus, R., Geard, N.L., Wiles, J. and Azevedo, R.B.R. (2007) A generative bias towards average complexity in artificial cell lineages. Proceedings of The Royal Society B-biological Sciences, 274 1619: 1741-1750. doi:10.1098/rspb.2007.0399 69   8 Cited 7 times in Scopus7 0
Geard, N. L. and Wiles, J. H. (2003). A gene regulatory network for cell differentiation in caenorhabditis elegans. In: H. Abbass and J. Wiles, Proceedings of the Australian Conference on Artificial Life. The Australian Conference on Artificial Life, Canberra, (86-100). 6-7 December, 2003. 61  
Crawley, Stephen C., Chernich, Ronald A. and Hunter, Jane (2008). A Generic Schema-Driven Metadata Editor for the eResearch Community. In: Proceedings of eResearch Australasia 2008. eResearch Australasia 2008, Melbourne Australia, (). 29 September - 3 October, 2008. 90 49
Wong, Kinn Onn, Dong, Zhao Yang and Saha, T. K. (2006). A genetic algorithm based method for deregulated electricity market dispatch. In: Proceedings of the 7th International Conference on Advances in Power System Control, Operation and Management. 7th International Conference on Advances in Power System Control, Operation and Management, Hong Kong, (). 30 October - 2 November, 2006. doi:10.1049/cp:20062244 94   0 0
Yau, D. and Crozier, S. (2003) A genetic algorithm/method of moments approach to the optimization of an RF coil for MRI applications - Theoretical considerations - Abstract. Journal of Electromagnetic Waves and Applications, 17 5: 753-754. doi:10.1163/156939303322226437 121   0 0 0
Hunter, Chris, Robinson, Peter J. and Strooper, Paul A. (2005). Agent-based distributed software verification. In: V. Estivill-Castro, Proceedings of the twenty eighth Australasian Computer Science Conference (ACSC 2005) Newcastle, Australia, January, 2005. Twenty Eighth Australasian Computer Science Conference (ACSC 2005), Newcastle, NSW, (159-164). 30 January - 2 February, 2005. 68   0

Page 8 of 157

Result Pages:    « first ‹ previous  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17  next › last »