1414 search results - page 31 / 283 » Combining Intruder Theories |
IAT
2005
IEEE
15 years 5 months ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
132
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
DAM
2000
14 years 11 months ago
2000
Thomassen (J. Combin. Theory Ser. B 28, 1980, 142
SEMCO
2008
IEEE
15 years 6 months ago
2008
IEEE
Blogs, discussion forums and social networking sites are an excellent source for people’s opinions on a wide range of topics. We examine the application of voting theory to “I...
104
click to vote
CPAIOR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...