Sciweavers

2335 search results - page 229 / 467
» Type Checking Type Classes
Sort
View
DEXA
2009
Springer
109views Database» more  DEXA 2009»
14 years 5 months ago
Inclusion Dependencies in XML: Extending Relational Semantics
In this article we define a new type of integrity constraint in XML, called an XML inclusion constraint (XIND), and show that it extends the semantics of a relational inclusion de...
Michael Karlinger, Millist W. Vincent, Michael Sch...
ICASSP
2008
IEEE
14 years 5 months ago
Constrained nonlinear minimum mse estimation
We address the problem of minimum mean-squared error (MMSE) estimation where the estimator is constrained to belong to a prede ned set of functions. We derive a simple closed form...
Tomer Michaeli, Yonina C. Eldar
TOOLS
2008
IEEE
14 years 5 months ago
Engineering Associations: From Models to Code and Back through Semantics
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
Zinovy Diskin, Steve M. Easterbrook, Jürgen D...
SCAM
2007
IEEE
14 years 5 months ago
DATES: Design Analysis Tool for Enterprise Systems
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
Cristina Marinescu
CRYPTO
2005
Springer
135views Cryptology» more  CRYPTO 2005»
14 years 4 months ago
Constant-Round Multiparty Computation Using a Black-Box Pseudorandom Generator
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
Ivan Damgård, Yuval Ishai