1306 search results - page 44 / 262 » A Diagrammatic Approach to Model Completion |
104
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
111
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
Causal analysis of continuous-valued variables typically uses either autoregressive models or linear Gaussian Bayesian networks with instantaneous effects. Estimation of Gaussian ...
83
Voted
ENTCS
2007
15 years 14 days ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
115
Voted
SOCASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Existing computer science approaches to business modeling offer lowstractions such as data and control flows, which fail to capture the business intent underlying the in...
105
click to vote
IPCO
2008
15 years 1 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...