Paddy Nixon | University of Tasmania (original) (raw)
Uploads
Papers by Paddy Nixon
Hawaii International Conference on System Sciences, 1995
This paper addresses the fundamental requirement that real-time control systems must meet their t... more This paper addresses the fundamental requirement that real-time control systems must meet their timing constraints. This paper concentrates on using the functional specification language PAISLey to specify and analyse timing constraints in parallel systems. The PAISLey approach is introduced and specification of Milner's jobshop is given using this language. This is then transformed in a structured way into an occam
arXiv (Cornell University), 2003
Conference of the Centre for Advanced Studies on Collaborative Research, 2006
International Conference on Autonomic Computing, 2008
Ercim News, Oct 1, 2006
The vision of pervasive computing is that objects, buildings and environments may be endowed with... more The vision of pervasive computing is that objects, buildings and environments may be endowed with software intelligence to improve human interactions both with the individual objects and with the system as a whole. Realising this dream is posing significant challenges for designers-allowing individual applications to co-exist in a common space without interfering, making the capabilities of new sensors and services available to other applications as they appear and providing the necessary decentralised control to obtain ...
International Conference on Pervasive Computing, 2006
Springer eBooks, 2000
As small wearable computing devices become more prolific it seems astute to fully capitalise on t... more As small wearable computing devices become more prolific it seems astute to fully capitalise on their potential to assume responsibility for a range of trivial tasks. The mobile phone which many people now own will undoubtedly evolve from the simple two-way communication purpose it fulfils today, into an integrated communications and organisation companion. We are interested in the integration of such smart devices into an intelligent building framework. Sensors and door activators are useful in their own right but to fully ...
Revue d'intelligence artificielle, Oct 14, 2008
(Free) radical programming languages.
Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium, 1999
The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be ... more The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be conceived which allows fault tolerance to be modelled quickly, and faults simulated to analyse the behaviour of the system. This paper concentrates on how a functional specification language, and its environment, can be used to describe and investigate the properties of parallel fault
Lecture Notes in Computer Science, 2003
Information & Software Technology, Jul 1, 1994
Hawaii International Conference on System Sciences, 1995
This paper addresses the fundamental requirement that real-time control systems must meet their t... more This paper addresses the fundamental requirement that real-time control systems must meet their timing constraints. This paper concentrates on using the functional specification language PAISLey to specify and analyse timing constraints in parallel systems. The PAISLey approach is introduced and specification of Milner's jobshop is given using this language. This is then transformed in a structured way into an occam
arXiv (Cornell University), 2003
Conference of the Centre for Advanced Studies on Collaborative Research, 2006
International Conference on Autonomic Computing, 2008
Ercim News, Oct 1, 2006
The vision of pervasive computing is that objects, buildings and environments may be endowed with... more The vision of pervasive computing is that objects, buildings and environments may be endowed with software intelligence to improve human interactions both with the individual objects and with the system as a whole. Realising this dream is posing significant challenges for designers-allowing individual applications to co-exist in a common space without interfering, making the capabilities of new sensors and services available to other applications as they appear and providing the necessary decentralised control to obtain ...
International Conference on Pervasive Computing, 2006
Springer eBooks, 2000
As small wearable computing devices become more prolific it seems astute to fully capitalise on t... more As small wearable computing devices become more prolific it seems astute to fully capitalise on their potential to assume responsibility for a range of trivial tasks. The mobile phone which many people now own will undoubtedly evolve from the simple two-way communication purpose it fulfils today, into an integrated communications and organisation companion. We are interested in the integration of such smart devices into an intelligent building framework. Sensors and door activators are useful in their own right but to fully ...
Revue d'intelligence artificielle, Oct 14, 2008
(Free) radical programming languages.
Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium, 1999
The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be ... more The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be conceived which allows fault tolerance to be modelled quickly, and faults simulated to analyse the behaviour of the system. This paper concentrates on how a functional specification language, and its environment, can be used to describe and investigate the properties of parallel fault
Lecture Notes in Computer Science, 2003
Information & Software Technology, Jul 1, 1994