We consider sensor scheduling as the optimal observability problem for partially observable Markov decision processes (POMDP). This model fits to the cases where a Markov process ...
We want to explore and analyse design decisions that influence maintainability of software. Software maintainability is important because the effort expended on changes and fixes ...
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...