1925 search results - page 173 / 385 » Dynamic Typing |
ENTCS
2008
13 years 9 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...
IGPL
2008
13 years 9 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
MOR
2006
13 years 9 months ago
2006
We consider the problem of dynamically hedging the profits of a corporation when these profits are correlated with returns in the financial markets. In particular, we consider the...
LOGCOM
2007
13 years 9 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
DEBU
2000
13 years 9 months ago
2000
The current state of web search is most successful at directing users to appropriate web sites. Once at the site, the user has a choice of following hyperlinks or using site searc...