Skip to content

Research at St Andrews

A composition-based approach to the construction and dynamic reconfiguration of wireless sensor network applications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related by author

  1. On the selection of connectivity-based metrics for WSNs using a classification of application behaviour

    Boyd, A., Balasubramaniam, D., Dearle, A. & Morrison, R., 7 Jun 2010, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing: SUTC 2010. IEEE Computer Society, p. 268-275 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Towards verifying correctness of wireless sensor network applications using Insense and Spin

    Sharma, O., Lewis, J. P., Miller, A., Dearle, A., Balasubramaniam, D., Morrison, R. & Sventek, J., 2009, Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Pasareanu, C. S. (ed.). Springer, p. 223-240 18 p. (Lecture Notes in Computer Science; vol. 5578).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A component-based model and language for wireless sensor network applications

    Dearle, A., Balasubramaniam, D., Lewis, J. P. & Morrison, R., Jul 2008, 32nd annual IEEE International Computer Software and Applications: COMPSAC 2008, 28 July-1 August 2008, Turku, Finland. IEEE Computer Society, p. 1303-1308 6 p. (IEEE COMPSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. An Approach to Extending the Lifetime of Wireless Sensor Networks

    Boyd, A., Balasubramaniam, D., Dearle, A. & Morrison, R., Jun 2008, 9th Annual Postgraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting . Liverpool, UK: PGNet, p. 123-128

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. The Napier88 to the Persistent Abstract Machine Compilation Rules

    Balasubramaniam, D., Brown, A. L., Connor, R. C. H., Cutts, Q. I., Dearle, A., Kirby, G. N. C., Morrison, R., Munro, D. S. & Scheuerl, S., 1994, University of St Andrews.

    Research output: Book/ReportOther report

ID: 6247514

Top