Skip to content

Research at St Andrews

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

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

Related by author

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

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

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

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

    Balasubramaniam, D., Dearle, A. & Morrison, R., 2008, Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Pautasso, C. & Tanter, E. (eds.). Springer, Vol. 4954. p. 206-214 9 p. (Lecture Notes in Computer Science; vol. 4954).

    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: 6826128

Top