8587 search results - page 10 / 1718 » Interactive dynamic abstraction |
DSVIS
2001
Springer
15 years 2 months ago
2001
Springer
EVOW
2009
Springer
14 years 7 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...
57
Voted
CHI
2002
ACM
15 years 10 months ago
2002
ACM
44
Voted
ACMDIS
2000
ACM
15 years 2 months ago
2000
ACM
CONCUR
1998
Springer
15 years 1 months 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 ...