3971 search results - page 401 / 795 » On the Use of Properties in Java Applications |
166
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 defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
186
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
176
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes various possible attacks on temporal properties such as temporal records of payment times and declarations of the closing times for electronic submissions, an...
150
Voted
ECAIW
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
181
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Several public key cryptosystems with additional homomorphic properties have been proposed so far. They allow to perform computation with encrypted data without the knowl...