5378 search results - page 815 / 1076 » Base Logics in Argumentation |
103
click to vote
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
In order to understand similarity between images, recent research has focused on adaptable searches [9] and fuzzy queries [4]. However, one of the best means for determining simil...
112
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
88
Voted
APN
2000
Springer
15 years 5 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
107
click to vote
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
104
Voted
EUROMICRO
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...