Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
We present a new motion estimation framework and apply it to omni-directional imagery. Our method estimates motions incrementally using an Implicit Extended Kalman Filter (IEKF). ...