The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
—In this paper, a compact tactile display which consists of multiple vibrotactile actuators with 4-different vibrotactile unbalanced masses and a peltier thermoelectric module is...
Gi-Hun Yang, Tae-Heon Yang, Seung-Chan Kim, Dong-S...
: Web service search is an important problem in service oriented architecture that has attracted widespread attention from academia as well as industry. Web service searching can b...
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...