Entity

Time filter

Source Type

Wellington, New Zealand

Eales A.,Wellington Institute of Technology | Foss R.,Rhodes University
Proceedings of the AES International Conference | Year: 2011

Different control protocols for networked audio devices typically emphasize particular aspects of a device, such as the representation of parameter data, or a representation of the functional structure of a device. A sophisticated device model must represent parameter data, device structure and the visual presentation of controls. Parameter data should be related to the device structure, while also being represented within a flexible, logical hierarchy. The development of a standard device model is proposed and discussed with reference to the OSC, IEC62379, ACN and XFN control protocols. This abstract model is independent of any specific control protocol, and provides support for interoperability between control protocols. The proposed model is also discussed within the context of an object-based approach to service enumeration and control using an associative, shared memory model. Copyright© (2011) by the Audio Engineering Society.


Anderson H.,Wellington Institute of Technology | Ciobanu G.,Romanian Academy of Sciences | Freitas L.,University of York
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2010

In this paper we give an additional perspective to the formal verification of programs through temporal logic model checking, which uses Hoare and He Unifying Theories of Programming (UTP). Our perspective emphasizes the use of UTP designs, an alphabetised relational calculus expressed as a pre/post condition pair of relations, to verify state or temporal assertions about programs. The temporal model checking relation is derived from a satisfaction relation between the model and its properties. The contribution of this paper is that it shows a UTP perspective to temporal logic model checking. The approach includes the notion of efficiency found in traditional model checkers, which reduced a state explosion problem through the use of efficient data structures. © 2010 Springer-Verlag.


Eales A.,Wellington Institute of Technology | Eales A.,Rhodes University | Foss R.,Rhodes University
133rd Audio Engineering Society Convention 2012, AES 2012 | Year: 2012

The Open Sound Control (OSC) control protocol does not have service discovery capabilities. The approach to adding service discovery to OSC proposed in this paper uses the OSC address space to represent services within the context of a logical device model. This model allows services to be represented in a context-sensitive manner by relating parameters representing services to the logical organization of a device. Implementation of service discovery is done using standard OSC messages and requires that the OSC address space be designed to support these messages. This paper illustrates how these enhancements to OSC allow a device to advertise its services. Controller applications can then explore the device's address space to discover services, and retrieve the services required by the application.


Richardson D.F.,Wellington Institute of Technology | Richardson D.F.,University of Otago | Adamson S.J.,University of Otago | Deering D.E.A.,University of Otago
International Journal of Mental Health and Addiction | Year: 2012

In an exploratory study of Therapeutic Alliance (TA) in brief outpatient treatment for alcohol dependence the relationship was investigated between TA and treatment outcome (measured at 6 weeks and 6 months) for 69 alcohol dependent clients participating in a randomised control trial between Motivational Enhancement Therapy and Non Directive Reflective Listening. TA was significantly higher for clients who attended all four sessions. The correlation between TA and change in per cent days abstinent (PDA) between baseline and 6 weeks approached significance. TA was significantly correlated with the Alcohol Problem Questionnaire (APQ) at 6 months and with change in APQ scores between baseline and 6 months. These relationships remained significant when treatment assignment was controlled for. Whilst there was a trend towards a relationship between TA and change in PDA between baseline and 6 months, this trend no longer remained when both treatment assignment and early change in drinking levels were controlled for. Therapeutic alliance may be a useful additional maker to predict outcome, but early treatment response appears to be a better predictor. © 2011 Springer Science+Business Media, LLC.


Eales A.,Wellington Institute of Technology | Foss R.,Rhodes University
137th Audio Engineering Society Convention 2014 | Year: 2014

A distributed, associative memory that advertises audio streams and represents audio connections between networked audio devices is described. Characteristic features of a shared, associative memory are discussed, and three parameter-based models that represent audio signals and audio connections are introduced. Connection management is then discussed with reference to a distributed, associative memory environment. This environment allows changes made to audio connections to be automatically propagated to all networked devices, while also eliminating potential race conditions between connection requests. Additionally, connection management applications can be shared between different networked devices and controllers.

Discover hidden collaborations