8587 search results - page 152 / 1718 » Interactive dynamic abstraction |
120
click to vote
CGA
2006
15 years 4 months ago
2006
takes place in an abstract model, connected to therealgamebypassingmessagesbackandforth,asFigure2illustrates.ThegametellstheDMwhenplotpoints occur, and the DM tells the game when i...
132
click to vote
IWPC
1997
IEEE
15 years 8 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
138
click to vote
SAGA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, a Stochastic Dynamic Facility Location Problem (SDFLP) is formulated. In the first part, an exact solution method based on stochastic dynamic programming ...
150
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
110
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...