Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...
Patrick Gage Kelley, Paul Hankes Drielsma, Norman ...
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Erns...
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
Many natural objects, and in general layered materials, have non-linear reflection behaviour along the wavelengths. An accurate representation of phenomena such as interference a...