This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
The ongoing debate about possible implementation of regulatory rules requiring “network neutrality” for wireless telecommunications services is inherently about whether to imp...
Even though there is nothing new about the idea, ontologies are a hot topic. Built for many reasons and appliances, the use of ontologies in real-life applications remains limited...
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...
Patrick Beeson, Matt MacMahon, Joseph Modayil, Ani...