The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
A Formal Framework for On-line Software Version Change
IEEE Transactions on Software Engineering
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
ConChat: A Context-Aware Chat Program
IEEE Pervasive Computing
Providing architectural support for building context-aware applications
Providing architectural support for building context-aware applications
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
On impact-oriented automatic resolution of pervasive context inconsistency
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
IEEE Transactions on Software Engineering
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
IEEE Transactions on Software Engineering
A Probabilistic Approach to Consistency Checking for Pervasive Context
EUC '08 Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - Volume 01
Internetware: a shift of software paradigm
Proceedings of the First Asia-Pacific Symposium on Internetware
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multi-layer faults in the architectures of mobile, context-aware adaptive applications
Journal of Systems and Software
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification
IEEE Transactions on Software Engineering
Version-consistent dynamic reconfiguration of component-based distributed systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
IEEE Transactions on Parallel and Distributed Systems
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
Spanner: Google's globally-distributed database
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
A probabilistic framework for goal-oriented risk analysis
RE '12 Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)
Dynamic fault detection in context-aware adaptation
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software
Javelus: A Low Disruptive Approach to Dynamic Software Updates
APSEC '12 Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01
Resynchronizing Model-Based Self-Adaptive Systems with Environments
APSEC '12 Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01
IEEE Transactions on Parallel and Distributed Systems
Challenges in developing software for cyber-physical systems
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
Internetware is receiving increasing attention. It envisions a new, yet promising software engineering paradigm for constructing complex systems that are situated in open and dynamic networked environments. Typical examples of Internetware systems include Internet-based and cyber-physical systems. These systems, although having addressed some practical needs, may still be subject to various environment and adaptation risks at runtime. In this paper, we highlight the necessity and challenges of managing these risks. We overview existing work and present our efforts in identifying and controlling the risks. We argue that by managing these risks, the Internetware paradigm proceeds in a quality-assured direction.