3625 search results - page 94 / 725 » On choosing |
142
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
128
click to vote
ENTCS
2008
15 years 6 months ago
2008
We study explicit techniques for detection of safety errors, e.g., depth-first search, directed search, random walk, and bitstate hashing. We argue that it is not important to fin...
134
click to vote
EOR
2008
15 years 6 months ago
2008
We solve an optimal growth model in continuous space, continuous and bounded time. The optimizer chooses the optimal trajectories of capital and consumption across space and time ...
168
click to vote
CONCURRENCY
2006
15 years 6 months ago
2006
In this paper, we examine the issues of workflow mapping and execution in opportunistic environments such as the grid. As applications become ever more complex, the process of cho...
128
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: This paper introduces the use of decimal sequences in a code division multiple access (CDMA) based watermarking system to hide information for authentication in black and white i...