2519 search results - page 384 / 504 » Reasoning with Textual Cases |
126
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
Multicast communication is becoming the basis for a growing number of applications. It is therefore critical to provide sound security mechanisms for multicast communication. Yet, ...
138
click to vote
IWCC
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
132
Voted
HYBRID
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In this article we investigate how to generate flight trajectories for an autonomous helicopter. The planning strategy that we propose reflects the controller architect...
144
Voted
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
155
Voted
AMET
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...