301 KB, PDF document
Available under license: None
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
}
TY - CONF
T1 - Utilising the event calculus for policy driven adaptation on mobile systems
AU - Efstratiou, Christos
AU - Friday, Adrian
AU - Davies, Nigel
AU - Cheverst, Keith
AU - EPSRC (Funder)
PY - 2002/6/5
Y1 - 2002/6/5
N2 - Adaptation is an important requirement for mobile applications due to the varying levels of resource availability that characterises mobile environments. However, without proper control, multiple applications can each adapt independently in response to a range of different adaptive stimuli, causing conflicts or suboptimal performance. In this paper, we present a policy-driven approach for mobile adaptive systems that can overcome the aforementioned problems. Our system is based on a policy language derived from the event calculus logic programming formalism. Important characteristics of our policy language are its support for explicit time-dependency expressions and its simple and user-friendly syntax.
AB - Adaptation is an important requirement for mobile applications due to the varying levels of resource availability that characterises mobile environments. However, without proper control, multiple applications can each adapt independently in response to a range of different adaptive stimuli, causing conflicts or suboptimal performance. In this paper, we present a policy-driven approach for mobile adaptive systems that can overcome the aforementioned problems. Our system is based on a policy language derived from the event calculus logic programming formalism. Important characteristics of our policy language are its support for explicit time-dependency expressions and its simple and user-friendly syntax.
KW - cs_eprint_id
KW - 583 cs_uid
KW - 1
M3 - Conference paper
SP - 13
EP - 24
T2 - Third IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Y2 - 5 June 2002 through 7 June 2002
ER -