10038 search results - page 1691 / 2008 » Model Checking for Managers |
178
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...
178
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
225
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
183
click to vote
DAIS
2009
15 years 7 months ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
164
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...