8008 search results - page 1233 / 1602 » Computer-Aided Language Processing |
152
click to vote
AGENTCL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
104
click to vote
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
131
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
128
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
143
Voted
CCS
1998
ACM
15 years 8 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...