37 search results - page 3 / 8 » Name Strategy: Its Existence and Implications |
ACSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
ENTCS
2002
13 years 6 months ago
2002
This paper presents a mechanism for dynamic reconfiguration of component-based applications and its fault tolerance strategy. The mechanism, named generic connector, allows compos...
CN
1999
13 years 6 months ago
1999
The World-Wide Web provides remote access to pages using its own naming scheme (URLs), transfer protocol (HTTP), and cache algorithms. Not only does using these special-purpose me...
MFCS
2010
Springer
13 years 4 months ago
2010
Springer
We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with parity objectives. An observationbased strategy relies on partial information...
SYNTHESE
2010
13 years 4 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...