6153 search results - page 337 / 1231 » Modeling Cyclic Change |
193
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
188
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
172
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
179
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...
207
click to vote
MASCOTS
2010
15 years 8 months ago
2010
Mobility models have traditionally been tailored to specific application domains such as human, military, or ad hoc transportation scenarios. This tailored approach often renders a...