1414 search results - page 249 / 283 » Combining Intruder Theories |
168
click to vote
ICC
2007
IEEE
16 years 17 days ago
2007
IEEE
: A light-trail is a generalized lightpath that enables multiple nodes to statistically share an optical communication path (wavelength bus). A light-trail is different from a ligh...
159
click to vote
QEST
2007
IEEE
16 years 16 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
170
click to vote
ATAL
2007
Springer
16 years 13 days ago
2007
Springer
The TAC Supply Chain Management (TAC/SCM) game presents a challenging dynamic environment for autonomous decision-making in a salient application domain. Strategic interactions co...
163
click to vote
ATAL
2007
Springer
16 years 13 days ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
173
click to vote
CIKM
2007
Springer
16 years 13 days ago
2007
Springer
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...