Now showing items 1-3 of 3

    • DSaaS : a cloud service for persistent data structures 

      Le Roux, Pierre Bernard; Kroon, Steve; Bester, Willem (Institute for Systems and Technologies of Information, 2016-04)
      In an attempt to tackle shortcomings of current approaches to collaborating on the development of structured data sets, we present a prototype platform that allows users to share and collaborate on the development of ...

    • Model checking rational agents 

      Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem (IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)
      Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...

    • Some important developments in biomining during the past thirty years 

      Rawlings, Douglas E (Central South University Press, Lushan South Road 932, 410083 Changsha, Hunan Province, PR China, 2011-09)
      A selection of significant discoveries in the general field of biomining over the past thirty years with which the author has been directly or indirectly involved will be reviewed. Early steps in the development of the ...