1638 search results - page 31 / 328 » Properties of input-consuming derivations |
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Consider a wireless multi-hop network formed by distributing a total of n nodes randomly and uniformly in the unit cube [0, 1]d (d = 1, 2, 3) and connecting any two distinct nod...
ACISP
2004
Springer
15 years 3 months ago
2004
Springer
A new type of signature scheme, called NTRUSign, based on solving the approximately closest vector problem in a NTRU lattice was proposed at CT-RSA’03. However no security proof ...
FASE
1998
Springer
15 years 2 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper examines the spatial resolution properties of nonquadratically regularized image reconstruction methods for positron emission tomography (PET). It is well known that qu...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...