1036 search results - page 139 / 208 » Incompleteness of Behavioral Logics |
CCS
2009
ACM
14 years 3 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
WINE
2009
Springer
14 years 3 months ago
2009
Springer
We study the strategic behavior of risk-neutral non-myopic agents in Dynamic Parimutuel Markets (DPM). In a DPM, agents buy or sell shares of contracts, whose future payoff in a p...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
While the class of congestion games has been thoroughly studied in the multi-agent systems literature, settings with incomplete information have received relatively little attenti...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
Mathematical modeling for gene regulative networks (GRNs) provides an effective tool for hypothesis testing in biology. A necessary step in setting up such models is the estimati...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
Making effective use of computational Grids requires scheduling Grid applications onto resources that best match them. Resource-related state (e.g., load, availability, and locati...