For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
We propose a family of kernels based on the Binet-Cauchy theorem and its extension to Fredholm operators. This includes as special cases all currently known kernels derived from t...
In the framework of Knowledge Management, the Internet can be a valuable source of information to produce new Knowledge. Here, an ontologybased web search system to ease the enterp...
This paper describes the extension and evaluation of Hussey's pattern language for safety-critical user interface development [Hussey and Mahemoff, 1999]. The patterns were u...
Simon Connelly, Jay Burmeister, Anthony MacDonald,...
The weighted CSP (WCSP) framework is a soft constraint framework with a wide range of applications. In this paper, we consider the problem of maintaining local consistency during ...