4573 search results - page 531 / 915 » Automated Reasoning |
153
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
158
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
134
click to vote
GIS
1999
ACM
15 years 9 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...
138
click to vote
GIS
1999
ACM
15 years 9 months ago
1999
ACM
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
130
click to vote
GIS
1999
ACM
15 years 9 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...