13026 search results - page 2540 / 2606 » Probabilistic Relational Models |
137
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
132
click to vote
WCNC
2010
IEEE
2010
IEEE
Hedonic Coalition Formation Games for Secondary Base Station Cooperation in Cognitive Radio Networks
15 years 7 months ago
— In order to maintain a conflict-free environment among licensed primary users (PUs) and unlicensed secondary users (SUs) in cognitive radio networks, providing frequency and g...
136
click to vote
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
125
click to vote
GRID
2007
Springer
15 years 7 months ago
2007
Springer
We propose strategies to efficiently execute a query workload, which consists of multiple related queries submitted against a scientific dataset, on a distributed-memory system in...
153
click to vote
AFRIGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...