Sciweavers

7988 search results - page 165 / 1598
» A Useful Undecidable Theory
Sort
View
SSS
2009
Springer
143views Control Systems» more  SSS 2009»
14 years 4 months ago
Self Adaptive High Interaction Honeypots Driven by Game Theory
High-interaction honeypots are relevant to provide rich and useful information obtained from attackers. Honeypots come in different flavors with respect to their interaction pote...
Gérard Wagener, Radu State, Alexandre Dulau...
TARK
2009
Springer
14 years 4 months ago
A computational theory of awareness and decision making
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
Nikhil R. Devanur, Lance Fortnow
QEST
2007
IEEE
14 years 4 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
DBPL
2007
Springer
115views Database» more  DBPL 2007»
14 years 4 months ago
XML Publishing: Bridging Theory and Practice
Transforming relational data into XML, as known as XML publishing, is often necessary when one wants to exchange data residing in databases or to create an XML interface of a tradi...
Wenfei Fan
ICIP
2006
IEEE
14 years 4 months ago
A Theory of Aliasing Separation for Light Field Data
A light field means a 4-D function which characterizes the flow of light rays from a target scene, and used for image-based rendering. This paper presents a novel theoretical fr...
Keita Takahashi, Takeshi Naemura