2783 search results - page 470 / 557 » The Nature Of Near-Synonymic Relations |
149
click to vote
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
111
click to vote
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
127
click to vote
DIS
1999
Springer
15 years 5 months ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
120
click to vote
CSCW
1998
ACM
15 years 5 months ago
1998
ACM
Usenet may be regarded as the world’s largest conversational application, with over 17,000 newsgroups and 3 million users. Despite its ubiquity and popularity, however, we know ...
106
click to vote
ASIAN
1998
Springer
15 years 5 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...