1955 search results - page 367 / 391 » Can Computers Handle Adverbs |
168
click to vote
DAWAK
2001
Springer
15 years 8 months ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
130
click to vote
INDOCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. One approach to secure mobile agent execution is restricting the agent route to trusted environments. A necessary condition for this approach to be practical is that the ...
147
Voted
NDSS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
145
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
141
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...