Caitlin Phillips

Learn More
In software construction, analysis investigates system requirements and design captures system functionality. To facilitate analysis and design, one popular technique is the unified modeling language, UML. In UML, there are use-case diagrams for the interaction of users with system components, class diagrams for the static classes and relations among them,(More)
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary purpose is to communicate information from one agent to another. These actions are unable to alter the valuation of any proposition within the system. In fields such as security, it(More)
The day-to-day operations of corporations and government agencies rely on inter-operating legacy, COTs, databases, clients, servers, etc., which are brought together into a distributed environment running middleware (e.g., CORBA, JINI, DCOM, etc.). Both access control and security assurance within these distributed applications is paramount. Of particular(More)
Decision-making under uncertainty has become critical as autonomous and semiautonomous agents become more ubiquitious in our society. These agents must deal with uncertainty and ambiguity from the environment and still perform desired tasks robustly. Partially observable Markov decision processes (POMDPs) provide a principled mathematical framework for(More)
We develop an algebraic modal logic that combines epistemic modalities with dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that “change the state” of the underlying system and not just the state of knowledge of the(More)
Worldwide energy demand has increased significantly over the last half century. A main reason for this increase in demand is the growth in population, which grew from 2.55 billion in 1950 to 6.396 billion in 2004. There are many negative effects associated with greater energy consumption such as increased levels of greenhouse gas emissions and higher energy(More)
Corresponding Author: R. Howard Robson TFTF UK, Market Drayton, UK, Westerdale House, School Fields, Market Drayton, UK Email: Abstract: Thought Field Therapy (TFT) is a promising treatment for posttraumatic stress in a resource poor environment. This study further explores the benefits of this treatment in a rural population in(More)
  • 1