High-level Programming Support for Robust Pervasive Computing Applications

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Annual IEEE International Conference on Pervasive Computing and Communications

• Publication date

  2008-03-17

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/PERCOM.2008.9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Building Home Monitoring Applications: From Design to Implementation into The Amigo Middleware

  2007cited by this paper
• Olympus: A High-Level Programming Model for Pervasive Computing Environments

  2005cited by this paper
• Towards the Development of Ubiquitous Middleware Product Lines

  2004cited by this paper
• A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications

  2001cited by this paper
• Generic QoS-support for CORBA

  2000cited by this paper

• Anything is Service: Using LIR-OSGi and R2-OSGi to Construct Ubiquitous Service Network

  2013cites this paper
• Canevas de programmation pour gérer l'héterogénéité et la consommation d'énergie des mobiles dans un environnement ubiquitaire

  2012cites this paper
• Application Development for the Internet of Things: Observations and Challenges

  2012cites this paper
• A Distributed Context Simulation Component

  2011cites this paper
• Situation-based testing for ubiquitous computing systems

  2011influential citation
• Formal modeling and verification of services managements for pervasive computing environment

  2010cites this paper
• ALPH: a DSAL-based programming model for complexity management in pervasive healthcare applications

  2010cites this paper
• A visual, open-ended approach to prototyping ubiquitous computing applications

  2010cites this paper
• DiaSim: A parameterized simulator for pervasive computing applications

  2009cites this paper
• A SIP-based home automation platform: an experimental study

  2009cites this paper
• A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications

  2009cites this paper
• Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire

  2009cites this paper
• DiaSim: A parameterized simulator for pervasive computing applications

  2009cites this paper
• DiaSim: A parameterized simulator for pervasive computing applications

  2009cites this paper
• Pantaxou: a domain-specific language for developing safe coordination services

  2008influential citation
• Proceedings of the Sixth NASA Langley Formal Methods Workshop

  2008cites this paper
• Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop

  2008cites this paper
• Proceedings of the Sixth NASA Langley Formal Methods Workshop

  2008cites this paper
• Project-Team PHOENIX Programming Language Technology For Communication Services

  2007cites this paper