2005 search results - page 151 / 401 » Decisive Markov Chains |
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
121
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Graphs provide an excellent framework for interrogating symmetric models of measurement random variables and discovering their implied conditional independence structure. However,...
119
click to vote
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
115
click to vote
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
EOR
2008
15 years 1 months ago
2008
We study a dual channel supply chain in which a manufacturer sells to a retailer as well as to consumers directly. Consumers choose the purchase channel based on price and service...