A framework for rapid-prototyping of context based ubiquitous computing applications

Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing

Volumn 2006 II, Issue , 2006, Pages 306-309

  Balasubramanian, Meenakshi ^a   Chaturvedi, Namit ^a   Chowdhury, Atish Datta ^a   Ganesh, Arul ^a  

^a HONEYWELL TECHNOLOGY SOLUTIONS   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER SIMULATION; CONTEXT SENSITIVE LANGUAGES; DATA STRUCTURES; INFORMATION TECHNOLOGY; SOFTWARE PROTOTYPING; SUPERVISORY AND EXECUTIVE PROGRAMS;

RAPID-PROTOTYPING; SIMULATION ENVIRONMENTS; SMART SPACE; UBIQUITOUS COMPUTING APPLICATIONS;

COMPUTATION THEORY;

EID: 33845407613     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SUTC.2006.1636192     Document Type: Conference Paper

References (9)

1. R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
2. A. K. Dey, D. Salber, and G. D. Abowd. A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human Computer Interaction, 16(2-4):97-166, 2001.
3. Java Card 2.2.1 Development Kit. Url: http://java.sun.com/products/ javacard/dev_kit.html.
4. N. Klarlund and A. Møller. MONA Version 1.4 User Manual. BRICS, Department of Computer Science, University of Aarhus, Aarhus C, Denmark, 2001.
5. D. Kozen. Automata and Computability. Springer-Verlag. 1997.
6. P. Levis, N. Lee, M. Welsh, and D. Culler. Tossim: Accurate and scalable simulation of entire tinyos applications. In First ACM Conference on Embedded Networked Sensor Systems (SenSys 2003), pages 126-137, November 2003.
7. OpenCard Framework - general information web document. Url: http://www.opencard.org/docs/gim/ocfgim.pdf, 1998.
8. M. Satyanarayanan. Pervasive computing: Vision and challenges. IEEE Personal Communications, pages 10-17, Aug. 2001.
9. W. Thomas. Languages, automata and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume III, pages 389-455. Springer, New York, 1997.