29172 search results - page 139 / 5835 » Modeling Systems in CLP |
145
Voted
WSC
2008
15 years 5 months ago
2008
Characterizing the transient behavior of queueing systems is a difficult problem, which has been addressed by either simplified analytical models or simulation. We seek to capture...
130
click to vote
SERP
2007
15 years 4 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
126
click to vote
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
120
click to vote
PLILP
1993
Springer
15 years 7 months ago
1993
Springer
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
120
click to vote
SCL
2010
15 years 1 months ago
2010
In this paper we show that incrementally stable nonlinear time–delay systems admit symbolic models which are approximately equivalent, in the sense of approximate bisimulation, ...