CORR 2007 | Sciweavers

Formal veriﬁcation using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the speciﬁcation logic...

Stefan Wöhrle, Wolfgang Thomas

claim paper

Read More »

39

click to vote

CORR
2007
Springer

107views Education» more CORR 2007»

Risk Minimization and Optimal Derivative Design in a Principal Agent Game

14 years 17 days ago

Download www.ifd.dauphine.fr

We consider the problem of Adverse Selection and optimal derivative design within a Principal-Agent framework. The principal’s income is exposed to non-hedgeable risk factors ar...

U. Horst, S. Moreno

claim paper

Read More »

10

click to vote

CORR
2007
Springer

89views Education» more CORR 2007»

Analog Chaos-based Secure Communications and Cryptanalysis: A Brief Survey

14 years 17 days ago

Download www.hooklee.com

Shujun Li, Gonzalo Álvarez, Zhong Li, Wolfg...

claim paper

Read More »

35

click to vote

CORR
2007
Springer

137views Education» more CORR 2007»

Bounds on the Network Coding Capacity for Wireless Random Networks

14 years 17 days ago

Download ita.ucsd.edu

— Recently, it has been shown that the max ﬂow capacity can be achieved in a multicast network using network coding. In this paper, we propose and analyze a more realistic mode...

Salah A. Aly, Vishal Kapoor, Jie Meng, Andreas Kla...

claim paper

Read More »

44

click to vote

CORR
2007
Springer

124views Education» more CORR 2007»

Neutrosophic Relational Data Model

14 years 17 days ago

Download fs.gallup.unm.edu

In this paper, we present a generalization of the relational data model based on interval neutrosophic set [1]. Our data model is capable of manipulating incomplete as well as inc...

Haibin Wang, Rajshekhar Sunderraman, Florentin Sma...

claim paper

Read More »

34

click to vote

CORR
2007
Springer

91views Education» more CORR 2007»

Decomposable Subspaces, Linear Sections of Grassmann Varieties, and Higher Weights of Grassmann Codes

14 years 17 days ago