4763 search results - page 182 / 953 » On the Execution of Deep Models |
169
click to vote
ECMDAFA
2010
Springer
15 years 9 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
153
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...
193
click to vote
AGTIVE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
168
click to vote
SAMOS
2007
Springer
16 years 19 days ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
180
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...