8587 search results - page 10 / 1718 » Interactive dynamic abstraction |
DSVIS
2001
Springer
14 years 10 days ago
2001
Springer
EVOW
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. In this paper we propose a new benchmark problem for dynamic combinatorial optimisation. Unlike most previous benchmarks, we focus primarily on the underlying dynamics of...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
ACMDIS
2000
ACM
14 years 6 days ago
2000
ACM
CONCUR
1998
Springer
14 years 2 days ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...