1843 search results - page 158 / 369 » Securing Class Initialization |
176
click to vote
IEEEAMS
2003
IEEE
15 years 11 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
190
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
We discuss the design of a class of agents that we call adaptive web site agents. The goal of such an agent is to help a user find information at a particular web site, adapting i...
210
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
169
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
142
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...