77016 search results - page 157 / 15404 » Modeling the |
131
click to vote
WSC
1997
15 years 6 months ago
1997
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification o...
134
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
139
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
123
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
This contribution presents a model for process improvement in the area of performance engineering, which is called performance engineering maturity model. The use of this model al...
132
Voted
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...