5638 search results - page 373 / 1128 » On presence |
156
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
164
click to vote
MTDT
2003
IEEE
16 years 3 days ago
2003
IEEE
Abstract: The high complexity of the faulty behavior observed in DRAMs is caused primarily by the presence of internal floating nodes in defective DRAMs. This paper describes a ne...
146
click to vote
TPHOL
2003
IEEE
16 years 3 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
180
click to vote
COMPGEOM
2003
ACM
16 years 3 days ago
2003
ACM
In this paper we describe and analyze a method based on local least square fitting for estimating the normals at all sample points of a point cloud data (PCD) set, in the presenc...
161
click to vote
DEBS
2003
ACM
16 years 3 days ago
2003
ACM
Distributed content-based publish-subscribe middleware provides the necessary decoupling, flexibility, expressiveness, and scalability required by modern distributed applications...