6650 search results - page 1220 / 1330 » models 2009 |
149
click to vote
ISORC
2009
IEEE
16 years 15 days ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
200
click to vote
LICS
2009
IEEE
16 years 15 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
170
click to vote
ASIACRYPT
2009
Springer
16 years 14 days ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
169
click to vote
WABI
2009
Springer
16 years 14 days ago
2009
Springer
We present biRNA, a novel algorithm for prediction of binding sites between two RNAs based on minimization of binding free energy. Similar to RNAup approach [30], we assume the bin...
153
click to vote
ATAL
2009
Springer
16 years 13 days ago
2009
Springer
Distributed constraint optimization (DCOP) provides a framework for coordinated decision making by a team of agents. Often, during the decision making, capacity constraints on age...