• 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 ...