9067 search results - page 1676 / 1814 » Adaptive Model Checking |
145
click to vote
SERP
2008
15 years 7 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
165
click to vote
SPLC
2008
15 years 7 months ago
2008
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
180
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
We study the joint feature selection problem when learning multiple related classification or regression tasks. By imposing an automatic relevance determination prior on the hypo...
164
click to vote
AAAI
2006
15 years 7 months ago
2006
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
168
click to vote
ACSW
2004
15 years 7 months ago
2004
Business processes are often likely to undergo drastic changes and hence the workflow systems that model, simulate and enact these processes should support the monitoring and cont...