In order to capture the increased complexity of products and production processes as well as market requirements, collaboration models representing organisational networks enable ...
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
Most AI diagnostic reasoning approaches model components and but not their interconnections, and when they do model interconnections, they model the possibility that a connection ...
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
: Requirements traceability is central to the issue of requirements management, which is essential for producing quality software. Our focus on requirements traceability addresses ...