Many queries processed on the World Wide Web do not return the desired results because they fail to take into account the context of the query and information about user’s situat...
Veda C. Storey, Vijayan Sugumaran, Andrew Burton-J...
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
Murat Sensoy, Timothy J. Norman, Wamberto Weber Va...
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
Michelle L. Goodstein, Evangelos Vlachos, Shimin C...