Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

avsms library [9 articles]

Nye artikler sendt til avsms bibliotek.
  • A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping
    Lecture Notes in Computer Science, Vol. 3660 (2005), pp. 105-122.
    by Anil Madhavapeddy, Alastair Tse
  • SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
    Lecture Notes in Computer Science, Vol. 3639 (2005), pp. 277-281.
    by Anil Madhavapeddy, David Scott, Richard Sharp
    posted to formal modelchecking systems by avsm on 2005-08-24 15:04:20 as read along with 1 group SRG
  • Experiences using lightweight formal methods for requirements modeling
    IEEE Transactions on Software Engineering, Vol. 24, No. 1. (1998), pp. 4-14.
  • Reconstructing I/O
    (2004)
    by Keir Fraser, Steven Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson
  • Context-Aware Computing with Sound
    Lecture Notes in Computer Science, Vol. 2864 (January 2003), pp. 315-332.
    by Anil Madhavapeddy, David Scott, Richard Sharp
    posted to audio sound ubicomp by avsm on 2005-07-21 16:09:10 as read along with 1 group SRG
  • Using smart phones to access site-specific services
    Pervasive Computing, IEEE, Vol. 4, No. 2. (2005), pp. 60-66.
    by E Toye, R Sharp, Anil Madhavapeddy, D Scott
    posted to bluetooth phones ubicomp by avsm on 2005-07-21 16:06:50 as read along with 1 group SRG
  • Xen and the Art of Virtualization
    (October 2003)
    by B Dragovic, K Fraser, S Hand, T Harris, A Ho, I Pratt, A Warfield, P Barham, R Neugebauer
  • notes Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming
    (2004), pp. 93-97.
    by Kieran Mansley, David Scott, Alastair Tse, Anil Madhavapeddy
    posted to activebat location ubicomp by avsm on 2005-07-15 09:29:47 as read along with 1 group SRG
  • notes Using visual tags to bypass Bluetooth device discovery
    SIGMOBILE Mob. Comput. Commun. Rev., Vol. 9, No. 1. (January 2005), pp. 41-53.
    by David Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton
  • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/avsm

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.