Search
Now showing items 171-180 of 221
On the Formal Semantics of the Cognitive Middleware AWDRAT
(2015-03-03)
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand ...
Improved Caching Strategies for Publish/Subscribe Internet Networking
(2015-01-31)
The systemic structure of TCP/IP is outdated; a new scheme for data transportation is needed in order to make the internet more adaptive to modern demands of mobility, information-driven demand, ever-increasing quantity ...
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material)
(2015-02-02)
We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...
Automatic Program Repair with Condition Synthesis and Compound Mutations
(2015-02-12)
We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired control- flow transfer patterns. Presented with a set ...
Access and information flow control to secure mobile web service compositions in resource constrained environments
(2015)
The growing use of mobile web services such as electronic health records systems and applications like twitter, Facebook has increased interest in robust mechanisms for ensuring security for such information sharing services. ...
Integrating contextmapping and interaction design: designing with and for small-scale urban farmers in Soweto
(2015)
This thesis describes and reflects on the effectiveness of integrating contextmapping as both a methodology and interaction design practice in order to co-design digital products with and for developing communities. A ...
Designing mobile multi-touch drum sequencing applications
(2015)
Digital music software can limit the forms of music we create by using interfaces that directly copy those of the analogue instruments that came before. In this study we report on a new multi-touch interface that affords ...
Advancing security information and event management frameworks in managed enterprises using geolocation
(2015)
Security Information and Event Management (SIEM) technology supports security threat detection and response through real-time and historical analysis of security events from a range of data sources. Through the retrieval ...
Acceleration of the noise suppression component of the DUCHAMP source-finder
(2015)
The next-generation of radio interferometer arrays - the proposed Square Kilometre Array (SKA) and its precursor instruments, The Karoo Array Telescope (MeerKAT) and Australian Square Kilometre Path finder (ASKAP) - will ...
Development of cooperative behavioural model for autonomous multi-robots system deployed to underground mines
(2015)
The number of disasters that occur in underground mine environments monthly all over the world cannot be ignored. Some of these disasters for instance are roof-falls; explosions, toxic gas inhalation, in-mine vehicle ...