5639 search results - page 487 / 1128 » Timed Abstract Non-interference |
113
click to vote
ICS
2010
Tsinghua U.
16 years 2 months ago
2010
Tsinghua U.
Abstract: Research in sociology studies the effectiveness of social networks in achieving computational tasks. Typically the agents who are supposed to achieve a task are unaware o...
107
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
129
click to vote
ALT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the framework of stochastic multi-armed bandit problems and study the possibilities and limitations of strategies that explore sequentially the arms. The stra...
182
click to vote
TACAS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
146
Voted
EVOW
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Behaviour trees provide the possibility of improving on existing Artificial Intelligence techniques in games by being simple to implement, scalable, able to handle the c...