100 search results - page 13 / 20 » A Kernel-Oriented Model for Coalition-Formation in General E... |
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
AIM
2006
13 years 7 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
WSC
1997
13 years 9 months ago
1997
This paper presents a discussion of simulation-related issues arising in the study of self-similar network traffic with respect to its effect and control. Selfsimilar traffic has...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
ESIAT
2009
IEEE
13 years 5 months ago
2009
IEEE
Ocean primary production (OPP) is an important indicator of ocean ecological system. The spatial and temporal pattern of OPP is helpful for global climate change study. Remote sens...