8587 search results - page 10 / 1718 » Interactive dynamic abstraction |
DSVIS
2001
Springer
15 years 7 months ago
2001
Springer
112
Voted
EVOW
2009
Springer
15 years 13 days 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
16 years 3 months ago
2002
ACM
76
Voted
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
99
Voted
CONCUR
1998
Springer
15 years 6 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 ...