| |
|
|
|
|
Kim, S. and Carrington, D. A. (2000). A formal mapping between UML models and object-z specifications. In: J. P. Bowen, S. Dunne, A. Galloway and S. King, First International Conference of B and Z Users: ZB 2000. ZB 2000, York, UK, (2-21). 29 August - 2 September 2000.
|
316 |
|
|
|
Kim, Soon-Kyeong and Carrington, David (2002). A formal metamodeling approach to a transformation between the UML state machine and object-z. In: C. George and H. Miao, Formal Methods and Software Engineering. Fourth International Conference on Formal Engineering Methods, Shanghai, China, (548-560). 21-25 October, 2002.
|
37 |
7 |
|
|
Kim, Soon-Kyeong and Carrington, David (2002) A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques. Technical Report 02-23, Software Verification Research Centre, School of Information Technology, The University of Queensland.
|
387 |
292 |
|
|
Connelly, Simon, Lindsay, Peter, Neal, Andrew and Humphreys, Mike (2001) A Formal Model Of Cognitive Processes For An Air Traffic Control Task. SVRC Tech Report 01-31, Software Verification Research Centre, School of Information Technology, The University Of Queensland.
|
496 |
325 |
|
|
Lermer, K. and Fidge, C. (2002) A formal model of real-time program compilation. Theoretical Computer Science, 282 1: 151-190.
|
10 |
|
4
|
|
Kim, S. and Carrington, D. A. (2002). A formal model of UML metamodel: The UML state machine and its integrity constraints. In: D. Bert, J. Bowen, M. Henderson and K. Robinson, ZB 2002: Formal Specification and Development in Z and B. Second International Conference of Z and B Users, Grenoble, France, (497-516). 23-25 January, 2002.
|
103 |
|
|
|
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. The 2004 Australian Software Engineering Conference, Melbourne, (87-94). 13-16 April, 2004.
|
29 |
|
|
|
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.
|
259 |
574 |
|
|
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.
|
195 |
|
|
|
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.
|
18 |
|
4
|
|
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.
|
110 |
|
9
|
|
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: Medical Information Science Reference.
|
26 |
|
|
|
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, Lecture notes in computer science: Proceedings of the Seventh International Symposium on Component-Based Software Engineering. The Seventh International Symposium on Component-Based Software Engineering, Edinburgh, UK, (272-279). 24th - 25th May, 2004.
|
224 |
182 |
2
|
|
Stocks, P and Carrington, D (1996) A framework for specification-based testing. Ieee Transactions On Software Engineering, 22 : 777-793.
|
43 |
|
63
|
|
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.
|
40 |
|
|
|
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.
|
12 |
|
|
|
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.
|
255 |
253 |
|
|
Daley, N., Hoffman, D. and Strooper, P. (2002) A framework for table driven testing of Java classes. Software: Practice & Experience, 32 5: 465-493.
|
30 |
|
9
|
|
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.
|
451 |
451 |
|
|
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.
|
232 |
238 |
|
|
Wang, Huaiqing, Zhang, Mingyi, Xu, D. and Zhang, Dan (2004) A Framework of Fuzzy Diagnosis. IEEE Transactions on Knowledge and Data Engineering, 16 12: 1571-1582.
|
23 |
7 |
2
|
|
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.
|
40 |
|
|
|
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.
|
161 |
46 |
|
|
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.
|
18 |
|
|
|
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.
|
11 |
|
|
|
Chen, X and Orlowska, M (2005) A further study on inverse frequent set mining. Advanced Data Mining And Applications, Proceedings, 3584 : 753-760.
|
14 |
|
1
|
|
Xia, C. and Orlowska, M. E. (2005). A further study on inverse frequent set mining. In: Xue Li, Shuliang Wang and Zhao Yang Dong, Proceedings of 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.
|
16 |
|
|
|
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. The International Conference on Information Technology: Coding and Computing, Las Vegas, (636-642). 5-7 April, 2004.
|
3 |
|
|
|
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.
|
544 |
594 |
|
|
Geard, Nicholas and Wiles, Janet (2005) A Gene Network Model for Developing Cell Lineages. Artificial Life, 11 3: 249-267.
|
211 |
177 |
4
|
|
Zelniker, Emanuel and Clarkson, Vaughan (2004). A Generalisation Of The Delogne-Kasa Method For Fitting Hypersphere. In: , Pacific Grove, California, (). Novermber, 2004.
|
253 |
182 |
|
|
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.
|
20 |
|
|
|
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.
|
29 |
|
|
|
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.
|
570 |
918 |
18
|
|
Gallagher, M and Yuan, B (2006) A general-purpose tunable landscape generator. Ieee Transactions On Evolutionary Computation, 10 5: 590-603.
|
40 |
|
3
|
|
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.
|
11 |
|
3
|
|
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.
|
20 |
|
|
|
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.
|
22 |
9 |
|
|
Wong, K O, Dong, Z Y 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, (1-7). 30 October - 2 November, 2006.
|
27 |
|
|
|
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.
|
40 |
|
|
|
Andersson, J. O., Sjogren, A. M., Horner, D. S., Murphy, C. A., Dyal, P. L., Svard, S. G., Logsdon, J. M., Ragan, M. A., Hirt, R. P. and Roger, A. J. (2007) A genomic survey of the fish parasite Spironucleus salmonicida indicates genomic plasticity among diplomonads and significant lateral gene transfer in eukaryote genome evolution. Bmc Genomics, 8 : 51.
|
6 |
|
15
|
|
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.
|
21 |
|
|
|
Pham, D.H., Governatori, G and Raboczi, S (2008). Agents adapt to majority behaviours. In: Cao, T. and Ho, T., Addendum Contributions to the IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies. 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies, Ho Chi Minh City, Vietnam, (7-12). 13-17 July, 2008.
|
33 |
46 |
|
|
Clark, K. and Robinson, P. J. (2002) Agents as multi-threaded logical objects. Lecture Notes in Computer Science - Computational Logic: Logic Programming and Beyond, 2407 : 33-65.
|
3 |
1 |
|
|
Governatori, Guido and Rotolo, Antonino (2002). A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study. In: Jones, Andrew J. I. and Horty, John, Proceedings of the Sixth International Workshop on Deontic Logic in Computer Science. Deon 2002. Sixth International Workshop on Deontic Logic in Computer Science, London, (97-116). 22-24 May, 2002.
|
151 |
400 |
|
|
Foo, J. Y. A., Wilson, S. J., Williams, G., Harris, M. A. and Cooper, D. (2005) Age-related factors that confound peripheral pulse timing characteristics in Caucasian children. Journal of Human Hypertension, 19 6: 463-466.
|
68 |
|
6
|
|
Ball, D.M., Wyeth, G. F. and Nuske, S. (2004). A global vision system for a robot soccer team. In: N. Barnes and D. Austin, Proceedings of the 2004 Australasian Conference on Robotics and Automation. The 2004 Australasian Conference on Robotics and Automation, Canberra, (1-7). 6-8 December, 2004.
|
24 |
|
|
|
Grunske, L., Geiger, L. and Lawley, M. (2005). A graphical specification of model transformations with triple graph grammars. In: A. Hartman and D. Kreische, Lecture Notes in Computer Science: Model Driven Architecture – Foundations and Applications. Model Driven architecture - Foundations and Applications: First European Conference, Nuremberg, Germany, (284-298). 7-10 November 2005.
|
14 |
|
|
|
Ali, M, Dong, Z Y, Li, X and Zhang, P. (2006). A grid computing based approach for probablisitic load flow analysis. In: C.M. Mak and K.P. Wong, 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, (1-7). 30 October - 2 November, 2006.
|
40 |
|
|
|
Shu, Yanfeng, Zhang, Jack Fan and Zhou, Xiaofang (2006). A Grid-Enabled Architecture for Geospatial Data Sharing. In: , Proceedings of APSCC '06. IEEE Asia-Pacific Conference on Services Computing, 2006., xx, (369-375). 12-15 Dec, 2006.
|
4 |
|
|
