423 search results - page 12 / 85 » Specifying Strategies for Exercises |
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
100
click to vote
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, a strategy for controlled pushing is presented for microassembly of 4.5 μm polystyrene particles on a flat glass substrate using an atomic force microscope prob...
105
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions specified as Ra...
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
110
click to vote
TRUSTBUS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Due to the large size and complex structure of modern networks, firewall policies can contain several thousand rules. The size and complexity of these policies require au...