In applications such as fraud and intrusion detection, it is of great interest to measure the evolving trends in the data. We consider the problem of quantifying changes between tw...
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
Ripple-Down Rules (RDR) is an approach to building knowledgebased systems (KBS) incrementally, while the KBS is in routine use. Domain experts build rules as a minor extension to ...
Paul Compton, Lindsay Peters, Glenn Edwards, Tim G...
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
Beyond serving as online diaries, weblogs have evolved into a complex social structure, one which is in many ways ideal for the study of the propagation of information. As weblog ...