814 search results - page 136 / 163 » Generic Model Abstraction from Examples |
135
Voted
FUIN
2008
15 years 2 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
130
Voted
INFORMATICALT
2002
15 years 2 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
124
Voted
EUSFLAT
2009
15 years 9 days ago
2009
Abstract-- A portfolio model to minimize the risk of falling under uncertainty is discussed. The risk of falling is represented by the value-at-risk of rate of return. Introducing ...
130
Voted
BIRTHDAY
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
125
click to vote
EWSA
2004
Springer
15 years 8 months ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...