4795 search results - page 826 / 959 » The Message Classification Model |
214
click to vote
CSFW
1999
IEEE
15 years 10 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...
182
click to vote
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
195
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
This paper intends to provide some insights of a scientific problem: how likely one’s interests can be inferred from his/her social connections – friends, friends’ friends,...
162
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we consider a traffic information sharing system based on Floating Car Data (FCD). FCD is one of the methods used to gather traffic information; it uses vehicles as...
194
click to vote
VRML
1995
ACM
15 years 10 months ago
1995
ACM
Virtual environments (VEs) are a broad multidisciplinary research area that includes all aspects of computer science, virtual reality, virtual worlds, teleoperation and telepresenc...