A logic-based calculus of events
New Generation Computing
Database updates in the event calculus
Journal of Logic Programming
The stick-e note architecture: extending the interface beyond the user
Proceedings of the 2nd international conference on Intelligent user interfaces
Mobile Computing with the Rover Toolkit
IEEE Transactions on Computers - Special issue on mobile computing
Agile application-aware adaptation for mobility
Proceedings of the sixteenth ACM symposium on Operating systems principles
L2imbo: a distributed systems platform for mobile computing
Mobile Networks and Applications - Special issue on protocols and software paradigms of mobile networks
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The Ponder Policy Specification Language
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
An Architecture for the Effective Support of Adaptive Context-Aware Applications
MDM '01 Proceedings of the Second International Conference on Mobile Data Management
The Case for Higher-Level Power Management
HOTOS '99 Proceedings of the The Seventh Workshop on Hot Topics in Operating Systems
PowerScope: A Tool for Profiling the Energy Usage of Mobile Applications
WMCSA '99 Proceedings of the Second IEEE Workshop on Mobile Computer Systems and Applications
Puppeteer: Component-based adaptation for mobile computing
USITS'01 Proceedings of the 3rd conference on USENIX Symposium on Internet Technologies and Systems - Volume 3
Developing Adaptive Applications: The MOST Experience
Integrated Computer-Aided Engineering
Artificial intelligence today
An adaptive network prefetch scheme
IEEE Journal on Selected Areas in Communications
Feature interaction in policies
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Policies and conflicts in call control
Computer Networks: The International Journal of Computer and Telecommunications Networking
Rule-based intelligent adaptation in mobile information systems
Expert Systems with Applications: An International Journal
Automatic form filling on mobile devices
Pervasive and Mobile Computing
A policy-based context-aware approach for the commitment of mobile transactions
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Proceedings of the 2009 ACM symposium on Applied Computing
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Enforcement of integrated security policy in trusted operating systems
IWSEC'07 Proceedings of the Security 2nd international conference on Advances in information and computer security
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Emergent consensus in decentralised systems using collaborative reinforcement learning
Self-star Properties in Complex Information Systems
A feedback-based decentralised coordination model for distributed open real-time systems
Journal of Systems and Software
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
| Hi-index | 0.00 |
Adaptation is an important requirement for mobile applicationsdue to the varying levels of resource availabilitythat characterises mobile environments. However withoutproper control, multiple applications can each adapt independentlyin response to a range of different adaptive stimuli,causing conflicts or suboptimal performance. In thispaper we present a policy driven approach for mobile adaptivesystems that can overcome the aforementioned problems.Our system is based on a policy language derivedfrom the Event Calculus logic programming formalism. Importantcharacteristics of our policy language are the supportfor explicit expressions of time dependencies and thesimple and user friendly syntax.