2625 search results - page 276 / 525 » Applications 2000 |
159
click to vote
AES
2000
Springer
15 years 11 months ago
2000
Springer
The National Institute of Standards and Technology (NIST) has announced that one of the design criteria for the Advanced Encryption Standard (AES) algorithm was the ability to eļ¬...
194
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
162
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for deļ¬ning, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
157
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
In the present paper we use the approach of height functions to de ning a semi-distance measure between Horn clauses. This appraoch is already discussed elsewhere in the framework ...
165
click to vote
AMEC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents the results and analysis of the Fishmarket tournament held this spring at the Technical University of Catalonia (UPC) by a group of undergraduate stud...