In this paper we present the use of "what-if"-analysis in simulation games for spatial decision making by introducing the concept of multiple worlds. We expect that &quo...
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
This paper introduces a new approach to provide users with solutions to explore a domain via an information space. A key point in our approach is that information searching and ex...
Abstract Technological advancements are constantly increasing the size and complexity of data resulting from microarray experiments. This fact has led biologists to ask complex que...
Nameeta Shah, Vladimir Filkov, Bernd Hamann, Kenne...
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
Robert H. Deng, Yingjiu Li, Moti Yung, Yunlei Zhao