95 search results - page 13 / 19 » Simulation based security in the applied pi calculus |
AAAI
2006
13 years 10 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
JFP
2008
13 years 8 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
Current search engines crawl the Web, download content, and digest this content locally. For multimedia content, this involves considerable volumes of data. Furthermore, this proc...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Neighbor discovery is a fundamental requirement and need be done frequently in underwater acoustic networks (UANs) with floating node mobility. In hostile environments, neighbo...