4250 search results - page 287 / 850 » Understanding the Requirements on Modelling Techniques |
102
click to vote
SARA
2009
Springer
15 years 7 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
113
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
85
Voted
SIGMETRICS
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we present a scalable model of a network of Active Queue Management (AQM) routers serving a large population of TCP flows. We present efficient solution techniques...
95
Voted
JOT
2006
15 years 23 days ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
103
click to vote
WECWIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Mainstream business process modelling techniques promote a design paradigm wherein the activities that may be performed within a case, together with their usual execution order, f...