List of Subject Classifications Records

Browse Results (556 results found)

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

Page 1 of 12

Result Pages:    1 2 3 4 5 6 7 8 9 10  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 -> 700199 Computer software and services not elsewhere classified :

No further child subject classifications could be found.
  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Smith, G. P. and Derrick, J. (2002). Abstract specification in Object-Z and CSP. In: C. George and H. Miao, Formal Methods And Software Engineering, Proceedings. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, (108-119). 21-25 October, 2002. 114   6
Miller, T. and Strooper, P. A. (2004). A case study in specification and implementation testing. In: D. Bae and W. Chu, Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004). The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (130-139). 30 November-3 December 2004. doi:10.1109/APSEC.2004.1 225   0 Cited 1 times in Scopus1 0
Long, B. and Strooper, P. A. (2001). A case study in testing distributed systems. In: G. Blair, D. Schmidt and Z. Tari, Proceedings of the Third International Symposium on Distributed Objects and Applications. Third International Symposium on Distributed Objects and Applications, Rome, Italy, (20-30). 17-20 September, 2001. 123   0
Tews, Desmond Ashley. (2003). Achieving multi-robot cooperation in highly dynamic environments PhD Thesis, University of Queensland. School of Computer Science and Electrical Engineering, The University of Queensland. 412 7
Long, B. J. and Strooper, P. A. (2003). A classification of concurrency failures in java components. In: M. Charpentier and B. Sanders, Proceedings of the International Parallel and Distributed Processing Symposium 2003. International Parallel and Distributed Processing Symposium 2003, Nice, France, (287-294). 22-26 April 2003. doi:10.1109/IPDPS.2003.1213512 104   0
McKinnon, D. N. R., Jones, B. D. and Lovell, B. C. (2003). A closed form solution to the reconstruction and multi-view constraints of the degree d apparant contour. In: A. Maeder and B. Lovell, Proceedings of the 2003 APRS Workshop on Digital Image Computing. The 2003 APRS Workshop on Digital Image Computing, Brisbane, (145-148). 7 February, 2003. 106  
Maetschke, S., Gallagher, M. and Boden, M. (2007). A comparison of sequence kernels for localization prediction of transmembrane proteins. In: D. Fogel, Computational Intelligence in Bioinformatics and Computational Biology 2007 (CIBCB 2007). IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology 2007 (CIBCB 2007), Honolulu, Hawaii, (367-372). 1-5 April 2007. 118   0 Cited 1 times in Scopus1
Sien, V.Y and Carrington, D. (2007). A concepts-first approach to object-oriented modelling. In: Sahni, S., Proceedings of the Third IASTED International Conference on Advances in Computer Science and Technology (ACST 2007). Advances in Computer Science and Technology, Phuket, Thailand, (108-113). 2-4 April, 2007. 107   Cited 0 times in Scopus0
Long, B., Hoffman, D. and Strooper, P. A. (2001). A concurrency test tool for java monitors. In: D. Richardson, M. Feather and M. Goedicke, Proceedings of the Sixteenth International Conference on Automated Software Engineering. Sixteenth International Conference on Automated Software Engineering, Coronado Island, California, (421-425). 26-29 November, 2001. 56   0
Robinson, R. R. and Indulska, J. (2005). A context-sensitive service discovery protocol for mobile computing environments. In: W. brooks, E. Laurence, R. Steele and E. Chang, Proceedings of the International Conference on Mobile Business. International Conference on Mobile Business (ICMB 2005), Sydney, Australia, (565-580). 11-13 July, 2005. doi:10.1109/ICMB.2005.1 111   0 0
Henricksen, K. M. and Indulska, J. (2001). Adapting the web interface: An adaptive web browser. In: P. Calder and M. Rees, Proceedings of the Second Australasian User Interface Conference. Second Australasian User Interface Conference, Gold Coast, (21-28). 29 January - 1 February, 2001. doi:10.1109/AUIC.2001.906272 84   5 0
Robinson, R and Indulska, J (2006). Adaptive and resilient systems for emergency response. In: P. Mendis, J. Lai and E. Dawson, Recent Advances in Security Technology. Proceedings of the 2006 RNSA Security Technology Conference. 2006 RNSA Security Technology Conference, Canberra, (406-421). 19-21 September, 2006. 81  
Indulska, J., Loke, S. W., Rakotonirainy, A. and Zaslavsky, A. (2000). Adaptive enterprise architecture for mobile computation. In: G. Blair and R. Campbell, Proceedings of the Workshop on Reflective Middleware: RM 2000. RM 2000, New York, (1-2). 7-8 April 2000. 80  
Mcclure, B., Indulska, J. and Au, T. A. (2000). Adaptive middleware for heterogeneous defence networks: An exploratory simulation study. In: G Heiser, Proceedings of the 5th Australasian Computer Architecture Conference: ACAC 2000. ACAC 2000, Canberra, (57-63). 31 January - 3 February 2000. 50  
Long, Brad (2002). A design pattern for efficient retrieval of large data sets from remote data sources. In: R. Meersman and Z. Tari, Lecture Notes in Computer Science: On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE: Confederated International Conferences CoopIS, DOA, and ODBASE 2002 Proceedings. Fourth International Symposium on Distributed Objects and Applications, Irvine, California, (650-660). 28-30 October, 2002. doi:10.1007/3-540-36124-3_44 60   0
Machanick, P. (2005) A distributed systems approach to secure Internet mail. Computers & Security, 24 6: 492-499. doi:10.1016/j.cose.2005.03.007 57   0 Cited 1 times in Scopus1 0
Hemani, A., Postula, A. J. and Deb, A. K. (1999). A divide and conquer approach for system level verification of DSP ASICs. In: Digest of Papers IEEE International High Level Design Validation and Test Workshop. HLDVT'99, San Diego, USA, (87-92). 4-6 November 1999. 107  
Robinson, M., Kubik, K. and Lovell, B. (2005) A First Order Predicate Logic Formulation of the 3D Reconstruction Problem and its Solution Space. International Journal of Pattern Recognition and Artificial Intelligence, 19 1: 45-62. doi:10.1142/S0218001405003910 224 50 1 Cited 1 times in Scopus1 0
Dumas, Marlon, Governatori, Guido, ter Hofstede, Arthur H. M and Oaks, Philippa (2002) A Formal Approach to Negotiating Agents Development. Electronic Commerce Research and Applications, 1 2: 193-207. doi:10.1016/S1567-4223(02)00016-9 212 1450 Cited 40 times in Scopus40 0
Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld 51  
Smith, G. P. (2004). A formal framework for modelling and analysing mobile systems. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC'04). The Twenty-Seventh Australasian Computer Science Conference (ACSC'04), Dunedin, New Zealand, (193-202). 18-22 January, 2004. doi:10.1145/980000/979946/p193-smith.pdf?key1=979946 54   0
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. 509  
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. doi:10.1007/3-540-36103-0_55 117 174 2 0
Lermer, K. and Fidge, C. (2002) A formal model of real-time program compilation. Theoretical Computer Science, 282 1: 151-190. doi:10.1016/S0304-3975(01)00047-0 47   5 Cited 7 times in Scopus7 0
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. 183  
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 122   1 0
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 52   7 Cited 10 times in Scopus10 0
Henricksen, Karen (2003). A framework for context-aware pervasive computing applications PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 1306 7
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 129   9 Cited 9 times in Scopus9 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 58   0 Cited 19 times in Scopus19 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 106 4 16 Cited 22 times in Scopus22 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 57   7 Cited 6 times in Scopus6 0
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. 50 59 0
Indulska, Marta Krystyna (2004). Aggregation in spatial data environments PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 204 7
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. doi:10.1007/11581741_21 65   Cited 9 times in Scopus9 0
Indulska, J., MacFarlane, S. and Zhu, W. (1999). A handover protocol for wireless ATM. In: F. Neri, A. Guha and D. Skellern, 10th IEEE Workshop on Local and Metropolitan Area Networks. LANMAN'99, Coogee Beach, Sydney, (91-94). 21-24 November 1999. 94  
Buskey, G. D., Roberts, J. and Wyeth, G. F. (2003). A helicopter named Dolly: Behavioural cloning for autonomous helicopter control. In: J. Roberts and G. Wyeth, Proceedings of the 2003 Australasian Conference on Robotics & Automation. Australasian Conference on Robotics and Automation 2003, Brisbane, Australia, (1-6). 1-3 December 2003. 98  
Atukorale, Don Ajantha Sanjeewa (2002). A hybrid learning system with a hierarchical architecture for pattern classification PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 196 3
Tseng, I-Lun and Postula, Adam (2004). A Layout-Aware Circuit Sizing Model Using Parametric Analysis. In: Y. Takeuchi, Proceedings of the Workshop on Synthesis and System Integration of Mixed Information Technologies. The 12th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI'04), Kanazawa, Japan, (235-240). 18-19 October, 2004. 1650 347
Zhang, Y., Liu, W. and Dong, Z. Y. (2003). A learning approach for performance evaluation of local network. In: R. Sarker, R. Reynolds and H. Abbass, 2003 Congress on Evolutionary Computation. 2003 Congress on Evolutionary Computation, Canberra, Australia, (608-614). 8-12 December 2003. doi:10.1109/CEC.2003.1299632 45   0
Liu, Zeng, Li, Xue and Dong, Zhaoyang (2004). A lightweight encryption algorithm for mobile online multimedia devices. In: Xiaofang Zhou, Stanley Su, Mike P. Papazoglou, Maria E. Orlowska and Keith G. Jeffery, Web Information Systems - WISE 2004: Proceedings of the 5th International Conference on Web Information Systems Engineering. The Fifth International Conference on Web Information Systems Engineering (WISE 2004), Brisbane, Australia, (653-658). 22-24 November 2004. 220   1
Robinson, M. J. (2003). A logical formulation of the 3D reconstrucion problem using a volumetric framework MPhil Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 200  
Sutton, P. R., Brereton, M. F., Heyer, C. M. and MacColl, I. D. (2002). Ambient interaction framework: Software infrastructure for the rapid development of pervasive computing environments. In: Ubiquitous Computing Trends: Tricks and Traps. Inaugural Asia Pacific Forum on Pervasive Computing, Adelaide, (1-8). 31 October - 1 November, 2002. 179  
Kim, Soon-Kyeong (2002). A metamodel-based approach to integrate object-oriented graphical and formal specification techniques PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 184 3
Axelsen, M., Borthick, A. F. and Bowen, P.L. (2001). A model for and the effects of information request ambiguity on end-user query performance. In: S. Sarkar and V.C. Storey, Proceedings of the Twenty-Second International Conference on Information Systems. ICIS 2001, New Orleans, Louisiana, (537-542). 16-19 December 2001. 49  
Gartside, J. and Heales, J (2006). A model of music piracy. In: I. Garcia and R. Trejo, Proceedings of: The Twelfth Americas Conference on Information Systems (AMCIS 2006). 12th Americas Conference on Information Systems (AMCIS 2006), Acapulco, Mexico, (603-610). 4-6 August, 2006. 160  
Bialkowski, M. E. (2000). A modified boundary element method for he analysis of planar guiding and radiating circuits. In: D. Danesy and H. Sawaya, ESA SP-444 Millennium Conference on Antennas & Propagation: AP2000. AP2000, Davos, Switzerland, (1-4). 9-14 April 2000. 61  
Bowen, P. L., O'Farrell, R.A. and Rohde, F. H. (2004). Analysis of competing data structures: Does ontological clarity produce better end-user query performance?. In: R. Agarwal, L. Kirsch and J. I. DeGross, Proceedings of the 25th International Conference on Information Systems: Capital Exchange: Crossing Boundaries and Transforming Institutions Through Information Systems. 25th International Conference on Information Systems, Charlottesville, Virginia, USA, (141-155). 12-15 December, 2004. 62  
Murray, L. M., Carrington, D. A. and Strooper, P. A. (2004). An approach to specifying software frameworks. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC 2004). The Twenty-Seventh Australasian Computer Science Conference (ACSC 2004), Dunedin, New Zealand, (185-192). 18-22 January 2004. 59  
Tseng, I-Lun and Postula, Adam (2006). An efficient algorithm for partitioning parameterized polygons into rectangles. In: Z. Yan, Proceedings of the 2006 ACM Great Lakes Symposium on VLSI. 2006 ACM Great Lakes Symposium on VLSI (GLSVLSI), Philadelphia, U.S.A., (366-371). 30 April - 2 May, 2006. doi:10.1145/1127908.1127992 160   Cited 5 times in Scopus5 0

Page 1 of 12

Result Pages:    1 2 3 4 5 6 7 8 9 10  next › last »